【摘 要】
：
为了解决软件测试中路径爆炸、新路径发现率低以及静态分析中虚报率高等问题,提出了动静态分析结合的脆弱性挖掘框架,并针对循环爆炸问题设计了基于懒符号执行的路径求解算法
【基金项目】
：
国家“八六三”高技术研究发展计划项目基金(2012AA7111043)资助
论文部分内容阅读
为了解决软件测试中路径爆炸、新路径发现率低以及静态分析中虚报率高等问题,提出了动静态分析结合的脆弱性挖掘框架,并针对循环爆炸问题设计了基于懒符号执行的路径求解算法,该路径求解算法应用最短路径、条件约束集概率和可达路径数量3种静态信息制导符号执行,提高了路径选择的准确率,能较快地逼近脆弱点,并利用懒符号执行技术自动识别循环结构,通过推迟变量实例化等方法,有效地缓解了循环结构的路径组合爆炸问题,最终生成到达脆弱点集的数据包.对coreutils6.10命令包的实验结果表明,与现有的方法 KLEE、Otter和
其他文献
<正>是什么造成了蒙冤法官个案的接连出现?如何在加强司法反腐的同时,避免无辜法官"躺着中枪"?2010年5月,时任河南省平舆县法院院长刘德山被带走调查。经过19个月的双规、刑
电站锅炉所处的环境较为恶劣,使用一段时间以后,锅炉很容易被腐蚀,还会出现结垢、堵灰、结渣等情况,使锅炉不能安全和稳定运行。所以应该做好锅炉的检验检测工作,保证锅炉处
<正>目的:了解门诊痛风性关节炎患者血液生化学变化。方法:收集2004年我院风湿免疫科门诊符合1977年美国痛风性关节炎诊断的患者的临床资料, 常规方法进行身高、体重、腰围、
目的探讨电视胸腔镜手术治疗脓胸的安全性和可行性。方法比较电视胸腔镜(VATS)治疗脓胸40例和传统开胸手术治疗40例脓胸的效果。结果两组患者切口长度、出血量、手术时间、术
文章结合西宁供电局至湟中、湟源、大通三县局光纤通信工程 ,针对在达到最大垂直负载条件下光缆的对地安全距离 ,对影响光缆挂点选择的主要因素———电场引起的电腐蚀做了全
<正>在土地测量过程中,主要采用计算机技术、GPS技术和测量仪器对土地界线、归属、面积以及分部情况进行精确的测量,从而满足土地调控级规划的需要,为国家土地资源管理提供重
<正>曹刿何许人也?曹刿是春秋时期鲁国的一名普通百姓。一次,齐国要来攻打鲁国,曹刿听说后,便前来见鲁庄公,要教他如何才能战胜齐国。曹刿的朋友劝他"肉食者谋之,又何间焉",
<正>随着智能终端IT产品的不断推广和普及,商业信息传播与现代营销理念正发生日新月异的变化。尤其是在苹果公司(Apple lnc)的系列产品:苹果手机iphone、平板电脑ipad、苹果
目的了解核细胞器相关蛋白4(Gemin4)基因rs1045491和rs2740349的基因型及等位基因频率在宁夏汉族人群中的分布特征。方法采用聚合酶链反应-限制性片段长度多态性(PCR-RFLP)和
在教学过程中，同一知识点，新手与专家传授的方式是不同的。新手一般是直接灌输的，而专家（或有经验的教师）则会利用种种手段，设计一定的问题情境，使学生在感受这个问题情境之后，觉察到