Proj THUDBFuzz Paper Reading: 南京大学软件分析课程2020, 05 Data Flow Analysis - Foundations I

Iterative algo, Another View

Old View:
Proj THUDBFuzz Paper Reading: 南京大学软件分析课程2020, 05 Data Flow Analysis - Foundations I
New View:
每次迭代都是状态映射,直到迭代到状态不变为止
Proj THUDBFuzz Paper Reading: 南京大学软件分析课程2020, 05 Data Flow Analysis - Foundations I
如果令\(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

上一篇:STAC51: Categorical Data Analysis


下一篇:android-使用应用内结算购买完整版游戏