对于指针或者引用的定义语句，在一张别名表中记录该节点， varorg记录被指向变量名(i)， varpointer记录指针/引用变量名(p，a)。在其后的指针变量操作中，通过查表，记录到真正指向的变量链表中(到达定值分析中的链表，进而进行分析)。
4、控制依赖
在编译原理中，控制依赖的概念用于模拟条件分支语句对程序行为的影响，它是程序控制结构的属性，可以根据控制流图来严格地定义。直观地讲，一个语句w 控制依赖于语句u，如果u是一个影响、执行的条件。例如在一个if-then-else结构中，位于条件语句两侧的语句控制依赖于该谓词。
控制依赖图是建立在图论基础上，算法标准，过程复杂。在这里抛开其实现细节，仅就结果的应用作讨论。
对于程序段：
| void fun ( ) { 1: File f = fopen ( ” c: \ \ test. txt” , a + ) ; 2: a: if ( fRet) 3: { 4: b: return; 5: } 6: c: fclose ( f) ; 7: d: return; 8: } |
该程序段控制流图如图3所示。控制依赖图如图4所示。根据图4，可以建立如表3所示的控制依赖表。
显然,根据这张表可以分析出,行号2/4/6均不在同一个分支,行号6 /7在同一个分支。分析同一分支上是否存在配对的fopen/fclose,从而得出此处的fopen函数是否有危险。
此模型是上下文分析的一个简单举例，应用到了编译原理中较为成熟的数据流分析和控制流分析技术,但由于应用环境和目的的复杂程度不同,其得出信息的准确性还有待改进。
此模型可以用于简单的赋值判断，如 a = 1; a ++; 新值计算，如a = ( b* 6) + 10；简单的控制条件理解。而对于一些函数调用，系统调用，则还需要进一步的识别API返回的信息。
总结：关于C/C++语言的代码安全检测也研究了好一段时间，总结的资料比较多，比较杂，这篇内容也是资料中的一部分，根据自己的理解重新提出来，但是否能够真正实用起来，还需要大量的工作。同时，也跪求各位业内人士的指导。
