CBOC：一个C语言缓冲区溢出漏洞有效检测工具_计算机信息_毕业设计论文网 关键词：缓冲区溢出; 符号执行; 基址安全表达式 [gap=20172]Keywords: buffer overflow; symbolic execution; site-safe expression
基于2328个网页-相关网页
Experimental results show that the path feasibility analysis of traditional symbolic evaluation can be omitted. So it can reduce the time complexity by using symbolic execution algorithm.
实例结果表明，该算法能免去传统符号执行中对于路径可行性的分析，从而降低时间复杂度。
参考来源 - 基于条件值的C/C++预处理测试算法·2,447,543篇论文数据，部分数据来源于NoteExpress
然后，逐条地符号执行这组逻辑路径。
本文提出一种基于有限回溯符号执行的软件疑似缺陷自动验证方法。
This paper presents an automatic verification method for possible software defects based on finite backtracking symbolic execution.
实例结果表明，该算法能免去传统符号执行中对于路径可行性的分析，从而降低时间复杂度。
Experimental results show that the path feasibility analysis of traditional symbolic evaluation can be omitted. So it can reduce the time complexity by using symbolic execution algorithm.
应用推荐