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

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