程序静态分析工具的分类研究

摘要：

程序静态分析是软件安全脆弱性检测的重要手段。现有的静态分析工具各具特色。本文提出基于系统建模、属性描述、检测过程和结果验证等四个维度的程序静态分析分类方法。并运用这种分类方法对几种典型开源静态分析工具进行了分类和比较。

关键词： 程序静态分析 软件安全 脆弱性检测 系统建模

作者: 赵新建 王铁磊 韦韬 邹维

作者单位: 北京大学网络与软件安全保障教育部重点实验室，北京，100871 北京大学计算机科学与技术研究所，北京，100871

会议类型: 国内会议

会议名称: 第六届中国信息和通信安全学术会议(CCICS”2009)

会议地点: 南京

会议语种:中文

页码: 577-583

在线出版日期: 2009-05-30（万方平台首次上网日期，不代表论文的发表时间）