Proj THUDBFuzz Paper Reading: 南京大学软件分析课程2020, 05 Data Flow Analysis - Foundations I
作者：互联网
Iterative algo, Another View
Old View:
New View:
每次迭代都是状态映射，直到迭代到状态不变为止
如果令\(X_i\)为第i步的状态\(（v^i_1, v^i_2, ..., v^i_n)\)，映射函数为\(F: V^k->V^k\)，则\(X_{i+1}=F(x_i)\)。称满足\(X=F(X)\)的状态X为F的不动点fixed point。
Partial Order
Upper and Lower Bounds
Lattice, Semilattice, Complete & Product
Data Flow Analysis Framework via Lattice
Monotonicity and fixed point Theorem
Relate Iterative Algo to Fixed Pointed Theorem
May/Must Analysis, A lattice View
MOP and Distributivity
Constant Propagation
Worklist Algow Vi
标签：point,05,Flow,Analysis,Lattice,Theorem,Data,View 来源： https://www.cnblogs.com/xuesu/p/14310408.html