基于符号执行的测试数据生成方法的研究与设计

来源 :计算机应用与软件 | 被引量 : 10次 | 上传用户:woaiyan0
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件漏洞的研究是信息安全的一个重要分支。漏洞挖掘的主要方法是通过精心构造测试数据输入程序来触发漏洞,由此可见如何生成测试数据是该技术的关键,也是成功挖掘漏洞的关键。在分析漏洞存在原理和触发条件的基础上,提出一种更为高效的测试数据生成方法。该方法通过不安全函数来定位漏洞的触发点,深度与宽度混合遍历来确定触发的路径,利用符号执行技术来确立漏洞触发的条件,最后再根据条件生成测试数据,使生成的数据不仅有更高针对性,并且还提高了代码的覆盖率,从而能提高漏洞挖掘的效率和准确性。实验结果表明该方法具有良好的效率和
其他文献
有关硒(Se)、维生素E(VE)及谷胱甘肽过氧化物酶(GSH-Px)与畜禽白肌病发生的关系,国内外已有许多报道,但关于Se、VE及GSH-Px之间及其在组织器官中分布的相关性研究则不多。本
双峰驼与牛马血液学值的比较学研究王秋婵任安华,张正选,徐珍玲(甘肃农业大学兰州730070)(内蒙古阿拉善右旗兽医站)双峰驼是我国荒漠、半荒漠地区重要的特种动物之一,耐干旱、抗严寒、抗病
社区教育是构建终身教育、学习型社会"大教育"的重要途径和载体,是建设和谐社会和终身学习体系的迫切需要。由于缺乏实体办学机构,导致我国社区教育在发展过程中始终处于一种
每年春天,都会出现一些甘蔗中毒事件。好好的甘蔗,吃了怎么会中毒呢?这与季节引发的甘蔗霉变,以及人们不具备一定的鉴别能力有很大关系。很多人都很喜欢吃甘蔗,不过,春季的甘
<正>前言:十九世纪末、二十世纪初,欧洲北部斯堪的纳维亚半岛广阔而崎岖不平的土地上覆盖着一望无际的森林,散布着无数的湖泊。城镇、村庄稀疏散落,人们的交通主要是依靠那些
会议
本研究选用了弓形虫QHO株活虫抗原免疫BALB/C小鼠,摘取脾细胞与SP_2/O骨髓瘤细胞融合,获得了分泌抗弓形虫McAb杂交瘤细胞株(2A_(11),3C_2)。其细胞分泌抗体效价为1:64(IHA),
随着高职院校汽修人才培养技能与相关企业人才职业需求矛盾凸显,构建汽车维修专业实践教学质量监控体系对全面提高学生综合素质,满足日益严格的市场人才需求具有非常重要的意
采用基于密度泛函理论(DFT)的第一性原理平面波超软赝势方法,计算了Nb元素掺杂对B2构型NiTi金属间化合物电子结构的影响.点缺陷生成能的计算结果表明,Nb原子掺杂后,NiTi中产
随着中国城市化进程的加快,我国的流动摊贩数量急剧增长,其所带来的问题愈发严重。面对流动摊贩带来的诸如拥堵交通,影响市容等问题,镇江市虽然采取了一些措施来解决,但效果
甘蔗是冬天应季的水果之一,因其浆汁甜美,且含糖量高,所以也被称为“糖水仓库”。它不仅能给食用者提供相当多的热量和营养,而且,还含有对人体新陈代谢非常有益的各种维生素