基于基本块标识方法的控制流图生成器设计  

DESIGNING THE BASIC BLOCK MARKING-BASED CONTROL FLOW GRAPH GENERATOR

作　　者：孙永新[1] 吴家培[1] 闫大顺[1] 

机构地区：[1]仲恺农业工程学院计算机科学与工程学院,广东广州510225

出　　处：《计算机应用与软件》2010年第5期158-161,共4页Computer Applications and Software

摘　　要：设计一个实用的程序控制流分析工具需要解决非结构程序中goto等语句的控制流图构造问题。C语言程序控制流图生成器CfgGen的设计采用基于基本块标识的控制流图构造方法解决该问题。CfgGen程序基于规则,通过语法制导翻译标识基本块、构造控制流图,易移植和维护。CfgGen构造的控制流图标识了基本块,可以很方便地用于程序分析和优化。To design a practical program control flow analysis tool,it needs to deal with the problem of constructing the control flow graphs for non-structured programs with the statements such as goto statement.The implementation of the C language program control flow graph generator CfgGen has solved the problem with the method based on basic block marking.As a rule-based program,CfgGen can mark the basic blocks and construct control flow graphs by syntax-directed translation.CfgGen has the advantages of good portability and easy maintenance.Since the control flow graphs constructed by CfgGen have marked basic blocks,they can be conveniently used for program analysis and optimisation.

关 键 词：控制流图构造 基本块标识 语法制导翻译 

分 类 号：TP311.52[自动化与计算机技术—计算机软件与理论]