1.
静动态结合的程序脆弱性检测系统， 登记号：2015SR081906, 2015.05.14
2.
基于安全规则的源代码漏洞检测系统， 登记号：2015SR051241, 2015.03.24
3.
基于污点分析的程序脆弱性自动化检测系统， 登记号：2015SR015163, 2015.01.27
温馨提示：为保证能正常的浏览此网站，请用IE9.0以上版本查看！ 访问人次：
