，边表示控制流。通过识别代码块和循环，CFG常常被编译器当作优化的起始点。
数据流分析.数据流分析收集程序运行到不同位置时各个值的信息和它们随时间变化的信息。这一技巧也常被编译器用来优化代码。一个有名的数据流分析的例子叫做污点检验，它考虑所有的可能被使用者修改的变量（也就是有“污点”、不安全的变量），并阻止这些变量在被“消毒”前被使用。这一技巧常被用来避免SQL注入攻击。污点检验既可以静态完成也可以动态完成。
抽象释义.抽象释义允许在不执行程序时提取出