基于延后策略的动态多路径分析方法

• 作者: 冯登国 苏璞睿 陈恺
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 多路径分析 可执行程序 漏洞检测 动态分析 延后策略
• 年，卷（期）: 2010,（3）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 493-503
• 页数: 11页
• 分类号: TP311
• 字数: 11454字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2010.00493

摘要

多路径分析是弥补传统动态分析方法的不足、对可执行程序伞面分析的重要方法之一.现有多路径方法主要采用随机构造或者根据路径条件构造输入进行路径触发,这两者均存在路径分析不全面和缺乏针对性的问题.文中通过对路径条件分析,确定了检测条件的基本组成元素,提出了弱控制依赖和路径引用集的概念和计算规则,并以此为基础提出一种延后策略的多路径分析方法.在程序分析过程中,对特定的程序检测点和检测点条件,有针对性地进行路径筛选,从语义上进行路径表达式简化,在保证检测点可达和检测表达式具有相同构造形式的前提下,简化检测表达式,减少分析路径的数量.对7款恶意软件的分析实验结果表明,该方法提高了分析效率和准确性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯登国	中国科学院研究生院信息安全国家重点实验室	243	6305	35.0	71.0
5	苏璞睿	中国科学院软件研究所信息安全国家重点实验室	44	734	17.0	26.0
6	陈恺	中国科学院研究生院信息安全国家重点实验室	12	130	6.0	11.0