语言（比如C语言）。一个做优化的编译器在遇到未定义行为时，可以自主选择如何生成这部分代码。生成的代码可以在运行时做任何事情，甚至可以崩溃。
控制流.控制流分析的目的是获取在程序执行时一些特定位置可能调用的函数的信息。这些信息由控制流图（英语：control flow graph，简称CFG）来表示，其中节点表示程序的指令，边表示控制流。通过识别代码块和循环，CFG常常被编译器当作优化的起始点。
数据流分析.数据流分析收集程序运行到不同位置时各个值的信息和