Marple
Pending Patent:
• Mary Lou Soffa and Wei Le: System, Method and Computer Program Product for Demand-Driven Path-Sensitive Static Analysis for Software Vulnerabilities