图5.4 例子example的控制流图和数据流图 图5.5给出例子example的控制数据流图(Control Data Flow Graph, CDFG)的表示,它把控制流图和数据流图合并在一起,是目前比较通用的一种中间表示格式。
基于8个网页-相关网页
图5.4 例子example的控制流图和数据流图 图5.5给出例子example的控制数据流图(Control Data Flow Graph, CDFG)的表示,它把控制流图和数据流图合并在一起,是目前比较通用的一种中间表示格式。
基于8个网页-相关网页
DFC Data Flow Control 数据流控制 data flow control switching system 数据流控制开关系统 Control Data Flow Graph 数据控制流图 ; 控制数据流图 ; 数据流图 ; 控制 ..
基于4个网页-相关网页
CDFG (control data flow graph) can be used in system modeling, software and hardware partition, synthesis and verification.
控制数据流图可用于系统建模、软硬件功能划分、系统综合与验证等多个环节。
The strong time constraints are the time constraints when the delay time of Control Data Flow Graph (CDFG)is not satisfied.
强时间约束是指控制数据流图CDFG的延迟时间无法满足的时间约束。
The common approach for analysing a binary consists of the following stages: assembly, procedure abstraction, control flow graph generation, data flow analysis, and property verification.
分析一个二进制代码的通常方式有以下几个阶段:反汇编,过程抽象,控制流程图生成,数据流分析和签名验证。
应用推荐