路径爆炸相关论文
本文首先对符号执行当前的研究现状、技术挑战和解决方案进行了全面深入的研究,分析了目前主要的DSE软件,研究显示DSE技术经过近10......
代码安全缺陷一直是困扰IT产业发展的一颗绊脚石,究其缘由主要是安全缺陷检查的成本高,效率低下。目前主要靠手工或者工具两种方式......
符号执行是近年来一种比较热门的程序分析和测试方法,能够自动探索程序的路径空间,分析进入各路径的约束条件并生成测试用例,具有......
软件质量是保证软件产品正常平稳运行的关键,因为在软件开发和软件功能更新过程中不可避免会出现软件缺陷,这些缺陷如果不及时发现......
符号执行方法处理循环时存在路径爆炸的问题。为此，提出一种基于归纳变量的循环依赖分析方法。通过识别循环归纳变量及符号表达式，结......
针对符号执行中存在的路径爆炸问题,提出一种冗余路径删除方法,该方法利用Hoare逻辑中的后置条件引导符号执行以生成有效的测试用......
提出了一种基于选择机制的实体间最信任路径发现算法．该算法采用动态规划思想，同时利用乘关系特点和信息反馈，在计算信任路径过程中可......
为了解决符号执行中路径爆炸、新路径发现率低等问题,提出了针对文件格式数据块约束的符号执行分析方法(FFCBSE,File Format Const......
代码安全在软件开发过程中日益受到重视,人们总是期望在软件正式发布前发现并解决所有潜在的缺陷,为此提出许多软件安全测试技术,......
程序分析是程序优化、程序安全缺陷检测以及恶意代码检测领域的重要技术手段。程序分析分为静态程序分析、动态程序分析以及混合程......
随着信息时代的来临,互联网已经成为了人们工作和生活中不可缺少的一部分。但是,在生活因为互联网而变得便捷的同时,也使得人们更......
计算机网络的普及使人类的生活发生了翻天覆地的变化，但随之带来的安全问题也对人们的生活和工作造成了极大的影响。软件漏洞检测技......
在函数摘要的基础上提出了一种新的Concolic测试方法.该方法利用外部调用的函数摘要来避免多次测试外部调用引起的路径爆炸问题.在......
期刊
为了解决符号执行中路径爆炸、新路径发现率低等问题,提出了基于输入约束的符号执行(ICBSE)优化框架。该方法通过分析程序代码自动......
