基于动态符号执行的控制流图和调用图提取

来源 :电子科技大学 | 被引量 : 0次 | 上传用户:longlivewebdynpro2
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
随着生活水平的不断提高和科技的不断发展,我们的生活与软件变得密不可分,不管是平时的通讯、听音乐,又或者我们的学习和工作,软件在我们的生活中发挥着越来越不可替代的作用,但是现在的软件存在着越来越来越多的不安全因素,可能是软件存在漏洞或者有些软件本身是恶意的。所以需要对程序进行详细的分析和检测来找到它们中潜在的威胁。而对于二进制的程序分析来说,控制流图和调用图的提取是很重要的一个环节,因为控制流图和调用流图能表示一个程序的基本结构和调用关系,能为后续的程序分析提供很大的便利。首先为了能够更完整的提取一个二进制程序的控制流图和调用图,本文比较了当前可以应用的技术的优缺点,最后采用了当前很受欢迎的动态符号执行技术,因为在理论上动态符号执行的技术能够探索到所有的路径。基于当前先进的Angr平台,本文开发出来了一套控制流图和调用图提取的系统。当前的系统采用了动态符号执行的技术,能够完成中间语言的转化,程序的控制流和调用流的提取。然后为了缓解动态符号执行中路径指数增长造成的时间消耗,同时也是为了缓解动态符号执行过程中的路径爆炸问题,本文提出了多进程共同探索的路径探索算法,基于当前的CPU多核心的特性,在充分利用计算机的计算资源的前提下,对路径探索的时间进行优化。同时经过详细的分析发现,如果让主进程直接把分割出来的路径信息传递给子进程会造成时间和内存上的浪费,所以又提出了将所需要传输的路径信息进行编码,然后在子进程运行的时候再进行解码的方式去进行多进程的路径探索。最后通过对比其他的工具发现本文所开发的动态符号执行工具确实在路径探索中存在比较大的优势。但在时间的消耗上也确实很不理想,随后对本文所提出的多进程并行探索的算法进行了详细的测试和对比,发现当前的算法在不增加内存消耗的情况下能够增快路径探索的速度。并且有比较显著的效果。
其他文献
钆喷替酸葡甲胺注射液细菌内毒素检测方法的研究中国药品生物制品检定所100050黄清泉,张朝选,夏振民北陆医药化工公司100044张毅钆喷替酸葡甲胺注射液是国内新近研制的NMR造影增强剂。本文报道
利用网络教学平台建设网络课程是目前高职院校课程资源建设中最普及的做法,Blackboard平台是一个非常优秀的课程建设和管理平台。结合网络课程建设的特点及Bb平台的功能,就规
高职院校教学质量管理与监控着重建设人才培养质量评价标准,完善教学管理规章制度;构建教学质量监控体系;开展企业、社会对专业人才培养质量评价情况调查、毕业生对专业人才
先进复合材料按传统观念不能用于一次性运载火箭的主结构。固然,减轻重量对于运载火箭是很重要的,但是复合材料的优良性能还不具备足够的吸引力,还不能足以证明已作过的研制
为民用和国防的需要,预定的空间飞行计划对多次使用运载器的结构材料工艺方面需要进行重大的改进;与航天飞机轨道器相比,降低结构重量多达25%或更多一点;飞行寿命可能要提高五
动漫产业是21世纪的朝阳产业,是我国文化创意产业的重要组成部分,其发展受到政府部门的高度重视和社会各界的广泛关注。尽管我国的动漫产业近年来获得了长足发展,市场前景日
阐述了航天飞机主发动机预燃室点火器系统的引爆,给出了试验结果,提出了预防措施。