精准执行可达性分析:理论与应用

• 作者: 杨克 王雪飞 贺也平 马恒太
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 程序分析 可达性分析 定向测试 双向符号分析 程序归纳
• 年，卷（期）: 2018,（1）
• 所属期刊栏目: 理论计算机科学
• 页码范围: 1-22
• 页数: 22页
• 分类号: TP301
• 字数: 21770字
• 语种: 中文
• DOI: 10.13328/j.cnki.jos.005375

摘要

精准执行可达性分析探究计算机程序状态之间的可达性关系通过分析软件的文档、源代码或二进制程序并进行必要的测试验证,以求出在既定限制下从初始状态到特定代码位置的目标状态的准确触发输入和执行路径.精准执行可达性分析在定向测试、静态分析结果核验、错误复现和漏洞POC构造等领域均有广泛的应用,对近年来国内外学者在该研究领域取得的相关研究成果进行了系统的分析、提炼和总结,首先,指出了精准执行可达性分析对应的约束求解问题,以双向符号分析和程序归纳为主线介绍了其主要研究方法,讨论了相关技术难点;其次,对目前已经存在的精准执行可达性应用进行了分类分析;进而,指出精准执行可达性分析应用中程序分析、归纳和约束求解等方面存在的挑战最后,对可能的解决办法以及未来发展方向进行了展望.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马恒太	中国科学院软件研究所基础软件国家工程研究中心	34	1503	11.0	34.0
2	王雪飞	中国科学院软件研究所基础软件国家工程研究中心	31	92	5.0	7.0
3	杨克	中国科学院软件研究所基础软件国家工程研究中心	5	168	4.0	5.0