数据流分析就是对程序中数据的_定义 ___、引用_及其之间的 依赖关系等进行分析的过程。
如果程序中某一语句i的执行能改变某程序变量V的值，则称V被语句i定义,可记作Def（V，i）。
如果某一语句j的执行引用了内存中变量V的值，则称变量V被语句j使用，可记作Use（V，j）。
变量的定义—使用路径
以变量的定义节点开始，使用节点结束的路径
