Pointer analysis plays an important role in the dataflow analysis of programs which are written by c.
指针分析对于使用C语言编制程序的数据流分析有着重要的意义。
A precise dataflow analysis should effectively exploit the semantic information presented by conditional branch statements.
精确的数据流分析,需要充分利用条件分支语句的逻辑语义。
For a precise dataflow analysis within the framework of the computation function model, the logical relationship of branch conditions is represented as the coverage relationship of regions.
用计算函数模型进行精确的数据流分析,条件谓词之间的逻辑关系被转化为空间区域之间的覆盖关系。
And has carried on detailed analysis to each module, has provided the flow chart of the business, dataflow and pursued etc. to design the file in detail.
并对各个模块进行了详细的分析,给出了业务流程图、数据流图等详细设计文档。
Based on the analysis of dataflow state machine, the authors design and implement a dataflow analyzer to parse more useful information from their simulation work.
在具体分析了仿真中数据流的解析过程的基础上,文章提出了分析仿真结果的新途径,并设计和实现了数据流分析器。
Based on the analysis of dataflow state machine, the authors design and implement a dataflow analyzer to parse more useful information from their simulation work.
在具体分析了仿真中数据流的解析过程的基础上,文章提出了分析仿真结果的新途径,并设计和实现了数据流分析器。
应用推荐