静态程序分析方法和工具

• 作者: 赵鹤 高婉玲
• 来源期刊: 现代计算机
• 关键词: 程序分析 静态分析方法 静态分析工具 系统化文献评价
• 年，卷（期）: 2017,（5）
• 所属期刊栏目: 研究与开发
• 页码范围: 38-43
• 页数: 6页
• 字数: 4876字
• 语种: 中文
• DOI: 10.3969/j.issn.1007-1423.2017.05.010

摘要

综述静态程序分析的方法和工具.采用系统化文献评价方法和文献计量分析方法,通过论文的收集、筛选、内容提取等过程,对大量论文的信息进行总结分析.通过文献管理工具Endnote、数据分析软件SPSS和文献分析工具RefViz,统计分析论文数据库的基本信息,包括年代分布、作者分布、关键词和热点分析.通过阅读大量相关论文,静态程序分析方法可分为模型检测、符号执行、定理证明、抽象解释等.静态程序分析工具包括形式化验证工具、模型检测工具等.最后,总结静态分析方法和工具的不足.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵鹤	四川大学计算机学院	7	19	2.0	4.0
2	高婉玲	四川大学计算机学院	6	18	2.0	4.0