Static Analysis 原理

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

另外一個用處就是用於發現程序的bug，Java中用的比較多。