1.
Binary code execution path based on symbolic and actual program execution
基于符号执行与实际执行的二进制代码执行路径分析
2.
Static Analysis of Pointer-related Path with Variable Relationship Graph and Symbolic Execution;
基于变量关系图和符号执行的指针相关路径分析
3.
A Program Verification and Testing Tool Based on Symbolic Execution and Constraint Solving;
基于符号执行和约束求解的程序验证与测试工具
4.
Automatic verification of possible software doubtful defects
基于有限回溯符号执行的软件疑似缺陷的自动验证
5.
Fuzzing Test Approach Based on Symbolic Execution
基于符号化执行的Fuzzing测试方法
6.
symbol reference set changed; performing full link\0
符号引用设置已更改；正在执行完全链接\0
7.
A symbol that represents the action to be performed in a mathematical operation.
表示数字运算中所要执行的动作的符号。
8.
A symbol, such as a plus sign, that represents an operation.
运算符号用来进行运算的符号，如加号
9.
In the description of a process, that which indicates the action to is performed on operands.
在一个过程描述中,指明对操作数所要执行的动作的符号。
10.
But to do so, you must enclose the characters that you want to find within square brackets, like so: [#].
但要执行此操作，必须用方括号括住要查找的字符，如：[#]。
11.
All instructions are carried out using a register called the accumulator, which we shall denote by A.
全部指令执行时都用了称作累加器的寄存器（用符号A来表示）。
12.
run-time debug symbol table
运行时期调试符号表
13.
the act of representing something with a symbol.
用符号表示某物的行为。
14.
relating to or using or proceeding by means of symbols.
与符号有关或使用符号方法，或通过符号方法进行。
15.
Digit grouping symbol:~~Tap a symbol to group digits in large numbers.
数字分组符号:~~点击用于对大数进行分组的符号。
16.
Symbol characters (--) with symbols (?a)
符号字符（--）替换为符号（—）
17.
additional character
附加符号[字符], 特殊符号
18.
If no match occurs, the default statement executes.
若没有发现相符的，就执行default语句。