符号执行造句
造句与例句手机版
- 中指定的选项,对当前选定的成员符号执行搜索。
- 中指定的选项,对当前选定的对象符号执行搜索。
- 我们采用了遍历程序路径和对路径进行符号执行的策略,这样可以尽可能早的发现程序中的不可执行路径,从而提高分析的效率。
- 针对上述情况,本文中提出了一种方法,它基于约束满足问题求解方法和扩展有限状态机上的符号执行算法,能够对c语言子集描述的程序进行分析。
- 进而提出了基于路径分析和符号执行的静态测试和动态测试方法,来研究串行程序中循环内部数组变量的数据相关性,该方法对于下标表达式为线性表达式时有很好的效果,而且能够处理一些复杂的数组下标表达式,比如数组下标表达式含有输入变量和非线性下标表达式的情况。
- 用符号执行造句挺难的,這是一个万能造句的方法