1) symbolic execution
符号化执行
1.
This paper designs and implements an approach of Fuzzing test based on symbolic execution.
设计并实现一种基于符号化执行的Fuzzing测试方法。
2) symbolic execution
符号执行
1.
The article analyzes the hiding and detection principle of kernel-level rootkit, and focuses on the module binary analysis method which based on symbolic execution to detect rootkit.
文章主要分析和讨论了目前Linux下的常见的内核级木马的隐藏方法及其检测原理,重点分析了基于符号执行的模块二进制木马分析方法。
2.
The symbolic execution static state analyse is adopted, make use of tainting mechanis.
构建了一个完整的通过静态分析检测内核级Rootkit的模型,构造了描述Rootkit行为的普遍适用的定义并证明了其充分必要性,采用符号执行法进行静态分析,利用污点传播机制,针对模型特点对分析过程进行优化。
3.
The technology of symbolic execution is adopted to execute each operation defined in class, to distinguish all state attributes of object and state interval.
文章通过符号执行技术运行类中的每个操作,区分出对象的所有状态属性及状态区间。
3) executive signal
执行信号
4) execution character set
执行字符集
5) Symbolic execution based on program slicing
基于程序切片的符号执行
6) Symbolic WCET analysis
基于符号的最坏执行时间分析
补充资料：社会化执行者
社会化执行者
executor of socialization
社会化执行者(exeeuto:of soeializati、)n)有意识地向个体实施教化、传播社会知识、文化、行为规范、价值观念、人生理想的组织、群体或个人。个体社会化过程中，社会化的执行者不断地发生变化。在学前儿童阶段，社会化的主要执行者是家庭和父母;入学后则由学校和老师、家庭和父母两者共同施以教化;到了少年期和青年期，家庭和父母则逐渐被学校的老师与社会所取代，同龄群体的影响加强。青年进入社会后，职业群体成为社会化的主要执行者。社会对个体执行社会化的职能，主要是通过各种社会组织、团体、非正式群体和大众宣传媒介实现的。随大众传播媒介和沟通手段的现代化，社会对个体教化的职能也正在加强，如杂志、报纸、图书、广播、电视、电影等正在成为青少年获得社会知识的重要信息源 (孙俊山撰张燮审)
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条