CBOC：一个C语言缓冲区溢出漏洞有效检测工具_计算机信息_毕业设计论文网 关键词：缓冲区溢出; 符号执行; 基址安全表达式 [gap=20172]Keywords: buffer overflow; symbolic execution; site-safe expression
基于2318个网页-相关网页
... 参考结构化测试用例设计（structural test case design） 参考走读（walkthrough） 参考符号执行（symbolic execution） ...
基于55个网页-相关网页
从 Lua 5.0 开始，我们使用对字节码的符号追踪 (Symbolic execution) 来试着提供更有用的错误消息。 Roberto：在语言自身的设计中，我们一直设法避免使用复杂的结构。
基于8个网页-相关网页
dynamic symbolic execution 动态符号执行
symbolic execution technique 符号执行技术
syntax-directed symbolic execution 语法指导符号执行
Create symbolic execution engine 创建符号执行引擎
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
以上来源于: WordNet
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.
实例结果表明，该算法能免去传统符号执行中对于路径可行性的分析，从而降低时间复杂度。
A movement that prizes “martyrdom” will not let the propaganda opportunities of its symbolic leader's execution be wasted.
其象征性领导者逝去了，一个珍视“殉道”的组织是不会白白浪费掉这个大好的宣传机会的。
应用推荐