静态分析理论基础

本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