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.
文章通过符号执行技术运行类中的每个操作,区分出对象的所有状态属性及状态区间。
4) line delete symbol
删行符号
5) nl
移行符号
6) line break
分行符号
补充资料：《公共信息标志用图形符号》(GB10001—1994)
《公共信息标志用图形符号》(GB10001—1994)
Graphical Symbols for Use on Public Information Signs
号是用于图形标志上，以图形或图像为主要特征，向公众提供信息，给人以行为指示的国际化图形语言，具有一目了然的特点及美化环境、提高文明建设程度的良好作用。常设t在宾馆、饭店、商场、车站、码头、机场、体育及会议中心、旅游景点等处。还可用于各种印刷品。该标准的前身为《公共信息图形符号》(GB 3818一1983)和《公共信息标志用图形符号》(GBI(X刃1一1988)，1望抖年合并为GB10以)1一1望抖。 与GBI以X)1相关的标准有:《铁路客运服务图形标志)( GB/T7仍8一1986)、《民用航空公共信息图形符黔(MH(以巧一l期)、《旅游饭店用公共信息图形符号》(LBITool一1卯5)。这些标准分别引用了GBI仪幻l中的相关符号，并补充了各自的专用符号。另外，指导如何使用这类图形符号的标准有《图形标志使用原则与要求》(C别T巧宝巧一1卯5)及《民用航空公共信息图形标志设t原则与要求》(MHIToo12-1卯7)。 (白段一)G。飞心以习Xinxj Bicozhiybr习Tuxing Fuf父幻《公共信息标志用图形符号)(GB llXX)l一1994)(。即人蒯月助刀入〕‘for Useon乃站licl卜娇〕~fonS心心)在采用1507001:l卿公共信息符号的基础上制定的国家标准，共规定了79个公共信息标志用图形符号。其中的10个符号(见图)，从左到右依次为:公共汽车、残疾人设施、卫生间、电话、票务服务、结账、西餐、卡拉OK、自行车停放处、运动场所。这类符回固圃园圃圃冈团园囿公共信息标志用图形符号
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条