基于污点指针的二进制代码缺陷检测

来源 :计算机工程 | 被引量 : 0次 | 上传用户:sfgidtfdxv
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
污点指针严重影响二进制代码数据流和控制流的安全。为此,提出一种二进制代码缺陷检测方法。引入指针污点传播规则,结合路径约束条件和边界约束条件得到缺陷引发条件,构造能够引发4类污点指针代码缺陷的输入数据。在Linux系统下实现ELF二进制代码缺陷检测工具,测试结果表明,该方法能降低测试用例生成数量,并发现Linux系统工具的1个虚函数调用控制缺陷和2个指针内存破坏缺陷。
其他文献
<正>Farfetch宣布与Aquazzura合作,联合发布“胶囊系列”新品。此次,Farfetch诚邀其全球买手店合作伙伴中4位具有时尚独特视野和见地的杰出女性,携手Aquazzura共同打造独家专
期刊
绩效评估是安全管理的重要一环;安全计划的实施必须透过量测、监督及评估来确认执行的绩效.
近年来,CDO发展迅速。如何进行CDO的风险评估,对其进行公平的价差评价,是促进其健康发展的重要因素。国内的学者和实务界的业内人士对相关领域的研究还涉足较少,很少对CDO的
最大频繁项集适用于内存空间有限的数据流挖掘。为此,提出一种基于界碑模型的最大频繁项集挖掘方法,采用最大频繁项集树的数据结构,增量式地维护最大频繁项集与部分附属信息,实现
【正】 如何评价1891年德国党的《爱尔福特纲领》一直是共运史学界探讨的热门,众说纷纭,莫衷一是,但纵观各派文章,我们不难发现:有的实际上混淆了评价的对象,即混同了正式的
一些学者将新文学的批评话语“现代性”移植到旧体诗的批评上,试图验证旧体诗的合法性。但是“现代性”一词本就概念不明,从西方跨越到中国新文学领域的过程中,并没有得到很
创新是一个民族进步的灵魂,是国家兴旺发达的不竭动力。创新能力既是民族和社会富有生机与活力的条件,也是民族和社会文明发展水平的标志,更是一个国家综合国力的重要象征之
分析外源植物激素对植物抗虫性和天敌的影响。根据国内外有关外源植物激素对植物抗虫性和天敌的研究文献,综述了植物激素和植物外源激素对植物抗虫性及天敌的影响,并对外源植
该方法采用向已经套入鞋楦并放入模具中的鞋帮注射鞋底材料来实现多密度鞋底插件的制作.模具包括一个注射腔、可以活动的边框、鞋底状插件、垂直向可移动活塞,鞋底状插件被预
期刊