1) executive signal
执行信号
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) Execution Credit
执行信用
4) communications executive
通信执行
5) Executive Communications
执行通信
6) symbolic execution
符号化执行
1.
This paper designs and implements an approach of Fuzzing test based on symbolic execution.
设计并实现一种基于符号化执行的Fuzzing测试方法。
补充资料：人民法院向执行机关送达取保候审和监视居住的决定书和执行书的职权
人民法院向执行机关送达取保候审和监视居住的决定书和执行书的职权：人民法院决定对被告人取保候审、监视居住，应当在宣布后立即将取保候审决定书、取保候审执行通知书或者监视居住决定书、监视居住执行通知书，送达负责执行的公安机关。第76条
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条