注意和cfg的区别，只有矩形框，没有菱形框，还有cfg的菱形框的内容变成了谓词，分直接点为空（NULLL）
术语和路径选择标准：全局c-use:
定义清纯路径：i~n1~..nn~j，在i到j之间没有被定义，也没有取消定义（不包括i和j节点）
例如：23456就不是清纯路径，但是2345就是清纯路径。因为节点5对TV重新定义了，（相对TV而言）
全局定义;
技巧：全局c-use向前看，然后def(全局定义）向后看，找清纯路径
简单路径：
注意全局定义和所有定义的区别：全局定义是一个点，然后所有定义是一条路径
所有定义的数据流测试标准：首先找到变量的全局c-use,然后找清纯路径
对于4-6，仅仅是对于i的引用,对于i不是p-use