基于分支混淆算法的符号执行技术

• 作者: 姬秀娟 许静 过辰楷
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 符号执行 软件测试 数组混淆 约束求解
• 年，卷（期）: 2012,（9）
• 所属期刊栏目: 软件工程
• 页码范围: 115-119
• 分类号: TP311
• 字数: 5920字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2012.09.027

摘要

符号执行是静态分析中的一项常用技术,数组元素混淆问题是限制符号执行本身性能的关键因素之一.通过分析数组混淆实质,提出了一种分支混淆算法,利用边混淆边符号执行的策略,可以处理较为复杂的数组问题.该策略使用实时的约束求解,及时地剪除不可达的混淆分支.结合符号执行和约束求解技术,开发了基于分支混淆算法的工具原型ASym.初步实验表明,利用分支混淆算法可以处理具有分支结构的数组混淆问题,避免延迟替换出现的数组语义误差,且在很大程度上缩减了分支数量,提高执行效率.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	过辰楷	南开大学信息技术科学学院	3	23	2.0	3.0
2	许静	南京大学计算机软件新技术国家重点实验室	3	16	2.0	3.0
3	姬秀娟	南京大学计算机软件新技术国家重点实验室	1	4	1.0	1.0