2) executive signal
执行信号
4) 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.
文章通过符号执行技术运行类中的每个操作,区分出对象的所有状态属性及状态区间。
6) signal behavior
信号行为
1.
Hazard detection for binary combinational circuits based on signal behavior;
基于信号行为的二值组合电路冒险检测
补充资料：行号
（rownumber）
又称列号，集装箱在专用船上的纵列积载位置。有两种标号方法：一种是自左舷端向右依此标明：01，02……另一种是从中间的左右分标。左舷为单号，由中线向左编为：01，03，05……，中线向右舷编双号：02，04，06……。
又称列号，集装箱在专用船上的纵列积载位置。有两种标号方法：一种是自左舷端向右依此标明：01，02……另一种是从中间的左右分标。左舷为单号，由中线向左编为：01，03，05……，中线向右舷编双号：02，04，06……。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条