项目日期2010.1-2015.12，项目针对目前常用的C、C++、C#和JAVA四种语言，对其源码进行漏洞检测。完成了基于访问模式和传播模式的安全模型建模技术；基于中间表示语言(IR)的软件安全缺陷静态分析技术；基于数据挖掘技术的软件缺陷检测技术；基于污点分析的安全缺陷动态分析和攻击点定位跟踪技术；基于攻击模式的自动安全性缺陷验证技术。