Static Analysis 原理

Static Analysis 目前主要用于编译器中寄存器liveness analysis，即peudo-reg的作用域，用于重新使用hard register。

另外一个用处就是用于发现程序的bug，Java中用的比较多。