在线词典
在线词典，是一款在线使用的中英文查词词典。本工具支持查询英文和中文单词及词组的含义，查询效率高、结果丰富，包括单词变体、常用短语、英英释义、同义词、同根词、词语辨析等，是外语学习者必备的在线查词工具。
输入要查询的单词：
symbolic execution
查词链接：
https://www.dute.org/dict/symbolic_execution复制链接 [计] 符号执行
查看英英释义
abstract:
In computer science, symbolic execution (also symbolic evaluation) is a means of analyzing a program to determine what inputs cause each part of a program to execute. An interpreter follows the program, assuming symbolic values for inputs rather than obtaining actual inputs as normal execution of the program would, a case of abstract interpretation.
网络释义
符号执行
CBOC：一个C语言缓冲区溢出漏洞有效检测工具_计算机信息_毕业设计论文网 关键词：缓冲区溢出; 符号执行; 基址安全表达式 [gap=20172]Keywords: buffer overflow; symbolic execution; site-safe expression
参考符号执行
... 参考结构化测试用例设计（structural test case design） 参考走读（walkthrough） 参考符号执行（symbolic execution） ...
对字节码的符号追踪
从 Lua 5.0 开始，我们使用对字节码的符号追踪 (Symbolic execution) 来试着提供更有用的错误消息。 Roberto：在语言自身的设计中，我们一直设法避免使用复杂的结构。
符号化执行
符号化执行 symbolic execution 执行符号 execute sign ..
常用短语
- dynamic symbolic execution动态符号执行
- symbolic execution technique符号执行技术
- syntax-directed symbolic execution语法指导符号执行
- Create symbolic execution engine创建符号执行引擎
正在查询...
{error}
你是不是想查找：
- {typos}
{word}
{phones} {trans} {trans_ee} {exam_types}{web_trans} {variants} {phrases} {synonyms} {rels} {discriminations} 查词链接：
{link}复制链接{phones}
{text}：[{value}]{trans}
{trans}
{pos}
{tran}
{tran}
查看英英释义
{trans}
{pos}
{list} {tran}
{words}{word}同义词： {words}
{pos}
{words}
{exam_types}
单词变体
- {variants}
常用短语
- {phrases}
网络释义
{web_trans}
{tran}
{detail}
近义词
{synonyms}
{pos} {tran}
{words}
同根词
{rels}
{pos}
{words}
{word}{tran}
词语辨析
{discriminations}
{num}、{title}
{description}- {usages}
{description}