【摘 要】
：
针对白盒模糊测试中的环境交互问题,提出一种基于外部函数探测和校正的隐藏路径搜索方案HPSBEF。利用约束求解获取外部函数在执行新路径时的输出值,并将结果记录在链表中,在
【基金项目】
：
国家自然科学基金(61602258)
论文部分内容阅读
针对白盒模糊测试中的环境交互问题,提出一种基于外部函数探测和校正的隐藏路径搜索方案HPSBEF。利用约束求解获取外部函数在执行新路径时的输出值,并将结果记录在链表中,在执行该路径时检测其中的外部函数,根据链表中的信息进行动态修正,以达到驱动该路径进而提高路径覆盖率的目的。实验结果表明,与FMM方案相比,HPSBEF方案的路径覆盖率和漏洞检测能力均得到提升,且时间开销较低。
其他文献
“怀桥1982”是贵州省仁怀市茅台镇怀桥酒厂与北京天沅盛世公司携手精心打造的一系列高品质高端白酒。素有“酱香鼻祖”美誉的贵州省仁怀市茅台镇是“怀桥·1982”酱香型
2007年底，陕西第一家专业葡萄酒酒窖——世雅酒窖正式在西安开业。三年转眼消逝．如今的世雅酒窖已经拥有12家连锁店，年销售额突破2000万元，成长为西安最大的进口葡萄酒运营商之一
7月3日，由中国酒业协会主办，山东省轻工业协会、山东省白酒协会、山东扳倒井集团承办的“2012年国家白酒评委年会”在淄博齐盛国际宾馆隆重召开，协会改名中国酒业协会以后的首次
在茅台官网公布了2012年茅台酒投放量后。日前，有媒体报道中援引了一位贵州省商务厅副调研员的话说，“2009年，茅台酒厂的年产量约2万吨，而2010年全国茅台酒消费量高达20万吨”。
日食是月亮遮挡太阳而形成的一种壮丽的自然奇观。月亮将太阳全部遮挡形成日全食;挡住一部分形成日偏食;挡住中间部分,周围仅一亮环,犹如黑盘镶金边,便是日环食。日食的发生
8月30日上午，互助天佑德青稞酒新品上市发布会在互助青稞酒股份有限公司会议室举行。原青海省副省长马元彪、互助县县长李青川、盛初咨询机构总经理柴俊、互助青稞酒股份有限
11月26日，在宁夏红集团董事长、宁夏葡萄酒协会会长张金山及宁夏葡萄花卉产业发展局和贺兰县有关领导的陪同下．法国波尔多葡萄酒科学院院长杜德考察了贺兰山东麓世界葡萄产业实
中西方治理理论的发展充分证明治理具有历史性和地域性。自改革开放以来,中国大国治理之路经历了由发展生产力到解决“人民日益增长的美好生活需要和不平衡不充分的发展之间
2015年5月11日,中国人民银行再次宣布降息.从2014年11月算起,这已是央行半年多以来第三次降息,一年期存款基准利率累计降幅0.75个百分点,期间还曾降准二次,各类存款类金融机
作为一个在乳制品行业已经十分成熟的上市公司，维维集团显然已经具备了高度的国际化视野。当其通过资本运作投资5亿元成立维维酒业时，川王酒应运而生。