利用到达定义集计算流依赖和def-order依赖

Using Reaching Definition Set To Compute Flow Dependence and Def-Order Dependence

针对生成程序系统依赖图时语句顶点之间的流依赖和def-order依赖计算问题,给出了定义清晰的路径以及到达定义集的概念,描述了利用到达定义集进行计算的方法步骤,有助于确立语句之间的流依赖和def-order依赖关系。

Aiming at the computation problem of flow dependence and def- order dependence between sentences vertexes when building program's system dependence, the concept about the clear definition path and the reaching definition set is giving, the calculating method and step of using reaching definition set is described.It is helpful for building the dependence relation of flow dependence and def-order dependence types between sentences vertexes.