Program-Dependence-Graph-Creator

PDG：程序依赖图 由以下规则定义的非常基本的命令性程序的程序依赖关系图创建器。 assignment := x=Aexpr; conditional1 := if(Bexpr){ stmts; } else {stmts; } endif conditional2 := if(Bexpr){ stmts; } endif iterative := while(Bexpr){stmts; } stmt := assignment | conditionsal1 | conditional2 | iterative stmts := stmt | stmts; stmt Aexpr: = constant | variable | Aexpr + Aexpr | Aexpr – Aexpr | Aexpr * Aexpr | Aexpr /