[00105584]软件安全性分析的关键技术与工具
联系人：
所在地：
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
该项目研究规模较大软件的缺陷分析和测试技术。针对大规模软件的设计和实现过程中的一些重要特性，提出并实现一组分析和测试的方法与技术，例如基于污点分析的注入型缺陷分析技术、支持多编程语言的分析工具等。对重要软件系统进行缺陷检测分析，发现潜在的缺陷。
