【摘 要】
：
当前漏洞检测技术可以实现对小规模程序的快速检测,但对大型或路径条件复杂的程序进行检测时其效率低下。为实现复杂路径条件下的漏洞快速检测,文中提出了一种复杂路径条件下
【机 构】
：
国防科技大学电子对抗学院,网络空间安全态势感知与评估安徽省重点实验室
【基金项目】
：
国家重点研发计划项目(2017YFB0802905)。
论文部分内容阅读
当前漏洞检测技术可以实现对小规模程序的快速检测,但对大型或路径条件复杂的程序进行检测时其效率低下。为实现复杂路径条件下的漏洞快速检测,文中提出了一种复杂路径条件下的漏洞检测技术SymFuzz。SymFuzz将导向式模糊测试技术与选择符号执行技术相结合,通过导向式模糊测试技术对程序路径进行过滤,利用选择符号执行技术对可能触发漏洞的路径进行求解。该技术首先通过静态分析获取程序漏洞信息;然后使用导向式模糊测试技术,快速生成可以覆盖漏洞函数的测试用例;最后对漏洞函数内可以触发漏洞的路径进行符号执行,生成触发程序漏
其他文献
当前,两岸关系形势复杂严峻,对台统一战线工作面临的机遇和挑战都在发生新的变化。新修订的《中国共产党统一战线工作条例》(以下简称《条例》)明确了新时代对台统一战线的主
2020年新冠肺炎(COVID-19)疫情防控期间,绿地及开敞空间在发挥原有休憩、运动等功能基础上,承接了更多新功能。通过网络信息研究,统计绿地及开敞空间疫情防控期间实际产生的
本文结合双循环指导方针,强调了民营企业在打造新发展格局中的重要作用和给民营企业继续吃好定心丸的必要性。针对现实中存在的所有制非中性环境等问题,论证了民营企业何以成
美国的文化左派肇兴于20世纪60年代,虽然它对当时美国内外政策的抨击的确有一些正面意义,但它的负面影响在今天更值得引起重视。它认为当时的美国由于统治阶级力量过于强大,
正确认识并妥善处理阶级阶层关系是做好统战工作的金钥匙。中国共产党一百年的历史证明,阶级阶层关系越复杂,统一战线越发展,法宝作用发挥得越充分。新时代社会阶层重大而深
2017版高中思想政治必修教材通过融入和专题两种方式以及多种载体形式,将传统文化纳入到大部分单元和课节中,并充分体现了正确的价值导向。但从遵循学生认知规律,促进学生的
代码相似性检测常用于代码预测、知识产权保护和漏洞搜索等领域,可分为源代码相似性检测和二进制代码相似性检测。软件的源代码通常难以获得,因此针对二进制代码的相似性检测
现代安全关键性系统的软件规模和复杂性的快速增长给这类安全关键性软件系统的开发带来了很多挑战。传统文本文档的需求描述方法无法保证此类系统的开发进度和系统可靠性要求
新修订的《中国共产党统一战线工作条例》关于非公有制经济领域统战工作部分,体现了党的十八大以来习近平总书记关于非公有制经济发展、非公有制经济领域统战工作的新理念、
民营经济作为我国第一市场主体和第一外贸主体,在构建以国内大循环为主体、国内国际双循环相互促进的新发展格局中有着举足轻重的作用,适应和引领新发展格局理应成为“两个健