Static Analysis 目前主要用于编译器中寄存器liveness analysis,即peudo-reg的作用域,用于重新使用hard register。 另外一个用处就是用于发现程序的bug,Java中用的比较多。