【摘 要】
：
提出了结合错误模式和切片技术的软件漏洞检测方法.错误模式库主要由软件的历史错误模式和一些常见的错误模式组成.然后将函数的入口参数作为前置条件,将建立好的错误模式作
论文部分内容阅读
提出了结合错误模式和切片技术的软件漏洞检测方法.错误模式库主要由软件的历史错误模式和一些常见的错误模式组成.然后将函数的入口参数作为前置条件,将建立好的错误模式作为后置条件,求得满足前置条件和后置条件的基于规约的切片,即可得到一条可能潜在漏洞的可疑路径.在得到这些可疑路径集合之后,使用符号执行和约束求解技术来进行可疑路径的验证,并自动产生可以触发该漏洞的测试例输入.该方法可以快速地进行漏洞可能产生的区域定位.并能自动产生触发漏洞的输入.
其他文献
本文是作者根据自己的框架结构设计经验,结合框架结构的特点,就结构设计中常遇到的问题提出自己的几点看法,供大家参考。
This article is based on the author’s own expe
矿井通风机是煤矿重要机械设备之一.由于它运转时产生的噪声高,对周围环境及人体健康影响较大.本文在分析风机噪声产生的机理基础上,提出煤矿主风机噪声在传播路径上控制的对
本文提出了采用基于IP核设计开关电源管理集成电路的方法,将开关电源管理集成电路的共性电路进行IP化处理,使之形成模拟IP核,随后采用总线式组装方法进行整体电路的设计,在设
对迪卡侬体育用品超市的人力资源配置和排班进行案例研究.通过调研获取数据,然后采用时间序列模型预测出下一周期的销售额,结合工作效率计算出每月所需工时数;再考虑实际的轮
报业集团的产业价值链是指以报刊采编出版为基础,以提供读者信息需求、减少信息不对称为目的相关的资源配置和组合。它由报刊发行、报刊广告、报刊印刷、新闻网站、信息服务
加强现场管理,就是寻求企业专业和基础管理在生产现场的最佳结合,充分发挥系统功能,以生产现场的区域优化达到企业整体优化目的.
[目的]掌握上海市黄浦区沙门菌感染的流行病学特征。[方法]随机抽取3家区监测点医院开展腹泻病人监测,对符合沙门菌监测对象定义的病例记录其临床表现、流行病学史,并留便进
[目的]评估胃癌患者术后生存质量并探讨年龄对生存质量的影响。[方法]将135例胃癌患者随机分为老年组(≥60岁)和非老年组(
目的:观察中西医结合治疗葡萄膜炎的临床效果.方法:治疗组30例(A组)(30眼)采用中药消炎明目汤配合西药皮质类固醇治疗;对照组(B组)30例(30眼)单用西药治疗.结果:治疗组总有效
新光硅业笑了,因为其仅用1年半的时间就收回了10来个亿的投资。2007年2月中国第一条千吨级多晶硅生产线在四川新光硅业投产,当年产出了230吨多晶
Xinguang Silicon smiled b