Vulnerability Discovery using Abduction and Interpolation
 

• Lead PIs : Joxan Jaffar, Professor, NUS ( joxan@comp.nus.edu.sg ) and Andy King, Professor, University of Kent ( A.M.King@kent.ac.uk )
• Host Institution : School of Computing, NUS
• Partner Institution : University of Kent

I. Goal

To automatically identify binary vulnerabilities using static analysis.