Marple

 

 

Faculty:   Mary Lou Soffa

Ph.D. Student:   Wei Le

• Project: Marple: a demand-driven path-sensitive framework for understanding, detecting and diagnosing software vulnerabilities

 

Master Student:   Mitali Parthasarathy

• Project: Handling Don’t-Know’s for Static Analysis

 

Undergraduate Student:  Hang Chen

• Project: Automatically Generating Test Inputs for Security Flaws

 

Undergraduate Student:  Sandra Christie

 

Undergraduate Student:  Tamara Dottin (Graduated)

• Project: Explaining the Buffer Overflow Crashes by Reproducing the Failure Paths