符号执行 meaning in English
symbolic execution
Examples
- Performs a search on the currently selected member symbol using the options specified on the
中指定的选项，对当前选定的成员符号执行搜索。 - Performs a search on the currently selected object symbol using the options specified on the
中指定的选项，对当前选定的对象符号执行搜索。 - We can also find unexecutable paths of the sequential program . when we find them we will stop the analysis . we enhance the capability of the traditional methods of detecting data dependence
我们采用了遍历程序路径和对路径进行符号执行的策略，这样可以尽可能早的发现程序中的不可执行路径，从而提高分析的效率。 - For this reason , the thesis presents an approach based on constraint satisfaction , symbolic execution and extended finite state machines . it can analyze programs written in a subset of the c programming language
针对上述情况，本文中提出了一种方法，它基于约束满足问题求解方法和扩展有限状态机上的符号执行算法，能够对c语言子集描述的程序进行分析。 - In this thesis , we will review some traditional methods of detecting data dependence and analyze the relation between the data dependence and the mechanism of parallelism . based on path analysis and symbolic execution , we describe two methods , static analysis and dynamic analysis , for detecting data dependence of array variables in loops of sequential programs
进而提出了基于路径分析和符号执行的静态测试和动态测试方法，来研究串行程序中循环内部数组变量的数据相关性，该方法对于下标表达式为线性表达式时有很好的效果，而且能够处理一些复杂的数组下标表达式，比如数组下标表达式含有输入变量和非线性下标表达式的情况。