基于符号执行的自动利用生成系统

来源 :计算机系统应用 | 被引量 : 0次 | 上传用户:zhangliye5
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在本文中,我们提出BAEG,一个自动寻找二进制程序漏洞利用的系统.BAEG为发现的每一个漏洞产生一个控制流劫持的利用,因此保证了它所发现的漏洞都是安全相关并且可利用的.BAEG针对输入造成程序崩溃的情况进行分析,面临的挑战主要有两点:1)如何重现崩溃路径,获取崩溃状态;2)如何自动生成控制流劫持利用.对于第一点,本论文提出路径导向算法,将崩溃输入作为符号值,重现崩溃路径.对于第二点,我们总结多种控制流劫持的利用原理,建立对应的利用产生模型.此外,对于非法符号读、写操作,BAEG还可以让程序从崩溃点继续执行,探索程序深层次代码,检测崩溃路径逻辑深处是否还有利用点.
其他文献
<正>关于房地产税的进展,又曝出了最新消息。近日,全国人大财经委员会副主任委员郝如玉在第十届"中国经济增长与周期"论坛上透露,目前房地产税仍在起草过程之中,操作难度很大
目的:研究人钠/碘转运体(human sodium/iodide symporter, hNIS)和鼠NIS (rat NIS, rNIS)介导肺腺癌耐药A549/DDP细胞摄取放射性核素的差异性,并探讨NIS作为报告基因介导肺癌
培养中职毕业生的职业适应能力是建设社会主义和谐社会的需要,是落实科学发展观的需要,是实现学生可持续发展的需要,也是中等职业学校自身生存和发展的需要,然而目前中职生的
练活动在沪举行。在现场,攻击实施团队利用工业互联网平台、工业控制系统和工业现场设备存在的安全漏洞,对演练现场搭建的智能云科工业互联网平台以及宝信生产管理系统模拟场
2019年6月13日,东岳集团完成的乙烯-四氟乙烯共聚树脂(ETFE)开发项目在山东淄博通过了由中国石油和化学工业联合会组织的科技成果鉴定。鉴定专家组一致认为,该项目开发的ETFE
英语中对于明喻概念的界定基本上是一致的,认为明喻中的本体和喻体是不同类的两种事物之间的比较。本文就这一问题尝试性地进行了探讨,分别从“人”比“人”和“物”比“物”
城市融入状况对于老年人的日常生活质量起着关键的作用,关系到老年人的身心健康以及生活幸福感等多个方面。本文以农村迁居老年人为研究对象,探究迁居老年人日常活动行为特征
复合地基工后沉降已受到工程界越来越多的关注。本文通过理论分析、数值计算和工程实例对比,对采用水泥搅拌桩复合地基的建筑物的沉降和工后沉降进行了较为详细的分析和研究。
科学发现在本质上是创新的过程,除了规定的逻辑程序、心理因素的影响外,美的思想、美的意识、美的领悟也是促成科学发现的重要因素。本文将从科学美作为推动科学发现的动力、
目的:分析江苏省昆山市居民就诊机构选择及反应性,为该市卫生政策制定提供参考依据。方法:对昆山市1550户居民5224人进行问卷调查,对调查数据进行描述性分析、单因素卡方分析