【摘 要】
：
多路径分析是弥补传统动态分析方法的不足、对可执行程序全面分析的重要方法之一.现有多路径方法主要采用随机构造或者根据路径条件构造输入进行路径触发,这两者均存在路径分
【机 构】
：
中国科学院研究生院信息安全国家重点实验室,中国科学院软件研究所信息安全国家重点实验室,信息安全共性技术国家工程研究中心
【基金项目】
：
国家自然科学基金(60703076,60970028);国家“八六三”高技术研究发展计划项目基金(2006AA01Z412,2007AA01Z451,2007AA01Z475,2007AA01Z465,2007AA01A414)资助~~
论文部分内容阅读
多路径分析是弥补传统动态分析方法的不足、对可执行程序全面分析的重要方法之一.现有多路径方法主要采用随机构造或者根据路径条件构造输入进行路径触发,这两者均存在路径分析不全面和缺乏针对性的问题.文中通过对路径条件分析,确定了检测条件的基本组成元素,提出了弱控制依赖和路径引用集的概念和计算规则,并以此为基础提出一种延后策略的多路径分析方法.在程序分析过程中,对特定的程序检测点和检测点条件,有针对性地进行路径筛选,从语义上进行路径表达式简化,在保证检测点可达和检测表达式具有相同构造形式的前提下,简化检测表达式,减少分析路径的数量.对7款恶意软件的分析实验结果表明,该方法提高了分析效率和准确性.
其他文献
本文实证研究了国企管理层人事变动与企业绩效之间的关系 ,分析了管理层人事变动对组织结构和经营理念的影响以及通过这种影响调节组织的创新行为对企业绩效的作用机理。结果
<正>重大疾病急救体系建设是卫生事业的重要组成部分,是人民群众生命安全和生活质量的重要保证。一直以来,我国十分关心和重视医疗急救体系的建设,其作为医疗改革的重要内容
随着城市化进程的加快,城市中心区的建筑密度越来越大,人们对建设小型户外活动空间的额需求变得极为迫切。以研究国内外口袋公园发展现状为基础,总结口袋公园的特点,结合郑州
对某含铁35.11%的选金尾矿进行了磁化焙烧-磁选-反浮选工艺回收铁的试验研究。焙烧温度750℃,焙烧时间45 min,磁选场强144 kA/m,反浮选十二胺用量350 g/t条件下,获得了产率为
鬼谷之所以神秘 ,是因为战国时期的传奇人物———鬼谷子 ① 。本文通过史书记载和遗迹、遗物 ,民间习俗传说的历史考证 ,逐步揭开鬼谷及鬼谷子的神秘面纱。并论证自己的观点
本文从软件工程的角度出发,系统分析了校园网站的规划与设计过程。并在系统设计阶段详细介绍了网站设计过程中应注意的问题,重点对网站安全做了技术分析和研究。
<正>在创建班集体的过程中,没有班级学生的自我管理,就不可能形成真正的班集体,学生也不可能成为真正的班集体主人。因此,作为一个班主任应该放手让学生实现自我管理,进行自
对于乐器表演中,无论是弦乐亦是管乐,都是相较于演奏音质以及音色而言的,其中是具有明确的规定,都是力求音质达到圆润,音色柔美,在圆润以及柔美的同时,也是需要有着高低强弱
在军事革命向信息化迈进的过程中,战场电磁频谱环境日趋复杂,电磁频谱管理在现代战争中的地位日益突出,频谱管理已成为影响战争胜负的重要因素。
但现实生活中,有些家长把自己的孩子视为掌上宝,对其宠爱过度,使孩子养成了衣来伸手、饭来张口的生活习惯。这不利于孩子行为习惯的培养和提高,更会让其丧失了关爱他人、感恩