【摘 要】
：
传统的Concolic测试从被测程序的自身出发,遍历程序的所有执行路径,然而随着程序代码规模的增大,程序中的路径数量会呈指数级增长,这就使得Concolic测试过程的效率低下,资源
【机 构】
：
中国信息安全测评中心,北京,100085
【出 处】
：
第六届信息安全漏洞分析与风险评估大会
论文部分内容阅读
传统的Concolic测试从被测程序的自身出发,遍历程序的所有执行路径,然而随着程序代码规模的增大,程序中的路径数量会呈指数级增长,这就使得Concolic测试过程的效率低下,资源开销相当庞大.本文提出了基于二进制补丁比对的Concolic测试方法DCT,该方法首先利用补丁比对收集存在漏洞Sink点的程序路径,然后利用该结果指导Concolic测试,从而极大地减少测试的路径数量。实验结果表明,DCT能够较为有效的指导Concolic 测试,是一种漏洞发现和验证的有效手段。
其他文献
核桃截幼根播种育壮苗核桃播种苗主根深而长，须根较少，影响栽植成活。甘肃农大林学院杨得基经过截幼根３ｃｍ、２ｃｍ、１ｃｍ、不截根播种对比育苗试验，催芽使幼根伸出，截去先端１ｃｍ以上至３ｃｍ的育苗效果优
GB7452—87《船体振动评价基准》与GB7453—87《船体振动测量》两项国家标准,于今年1月1日起已在全国实施。本文将就这两项标准制订情况作一简要介绍。七十年代初期,随着我
复合文档(Compound Document)是一种包含文本、图形、电子表格数据、声音、视频图像以及其它信患的文档.随着复合文档的广泛应用,复合文档成为了许多攻击者的攻击目标,攻击技
为了解决虚拟计算环境中的资源合理调度问题,提出了一种基于模糊聚类的资源匹配调度模型.首先对资源的静态属性进行分类,用模糊关联聚类的方法对资源进行分类,根据用户任务的
中国是一个历史悠久的文明古国,素有礼义教化的传统。在中国传统文化中,儒家思想始终居于主导地位。以儒家思想为指导的封建礼教对中国古代妇女的道德规范与行为约束,也始终
惠民短枝红富士刘恩贺惠民短枝红富士是山东省惠民县果树站从富士苹果中选育出的短枝型变异苹果良种，１９９０年被评为省优产品。该品种果实大，品质优，耐贮藏。平均单果重２０２．５克，果肉淡黄色，脆
战斗英雄、工农兵劳动模范、机关模范工作者同志们:全省战斗英雄和工农兵劳动模范、机关模范工作者第一次大会开幕了,庆祝大会的成功。一年八个月中,全省工作都有很大成就,
在密码芯片产品的安全性测评中,芯片密码算法对错误攻击的抵抗能力是穿透性测试的一个重要方面.本文对发表于ASIACRYPT 2012的轻量级分级密码算法PRINCE的进行了错误攻击.在
工业控制系统信息安全问题日益凸显,影响工业控制系统信息安全研究的一个最大制约因素是缺乏一个与真实系统相一致的公用、可控、可配、可测、重复使用的测试床.本文根据工业
日光温室草莓畸形果的形成及预防刘协广（河南滑县植保站，４５６４００）草毒是一种营养丰富，味道鲜美的多汁浆果。我县从１９８９年开始引进种植，近年在日光温室栽培过程中，常出现畸形果，主要表现果实过肥