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 /
2022-10-06 13:03:18
294KB
C++
1