程序静态分析技术与工具

• 作者: 张健 杨宇
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 程序正确性 静态分析
• 年，卷（期）: 2004,（2）
• 所属期刊栏目: 软件工程
• 页码范围: 171-174
• 页数: 4页
• 分类号: TP3
• 字数: 5973字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2004.02.049

摘要

静态分析对于保证程序质量,提高软件生产率有重要的意义.本文综述了静态分析常用的策略,介绍了当前静态分析的研究现状,比较了目前已有的静态程序分析工具.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张健	中国科学院软件研究所计算机科学重点实验室	272	3714	30.0	51.0
2	杨宇	中国科学院软件研究所计算机科学重点实验室	73	1052	19.0	30.0