本blog我将简要讲讲我所理解的静态分析。参考了Lecture Notes和那谁的ppt。静态分析为在不运行程序的前提下,对程序的行为进行分析,使得可以对程序安全性做出评估和优化代码等。静态分析核心思想总的来说就三点 1)控制流图 (CFG) 2)Lattice (格) 3) Transfer functions (转移函数,也叫constraints)。静态分析把程序转化成控制流图,程序中的每条语句对应图中的一个节点,每个节点都对应一个Latiice且有一个在Lattice上单调的transfer function,再用worklist 算法求解所有transfer func组成的方程组的不动点(fixed point)。这句话浓缩了静态分析的大致流程,现在看肯定不懂,不过别急,且听我慢慢道来。
Undecidable
CFG
Lattice
Lattice上的元素代表data flow的取值。取值可以是集合,符号,整数等等。
Transfer Function
Fixed Point
Forward, Backward; Must, May