摘要：
Iterative algo, Another View Old View: New View: 每次迭代都是状态映射，直到迭代到状态不变为止 如果令$X_i$为第i步的状态$（vi_1, vi_2, ..., vi_n)$，映射函数为$F: Vk->V^k$，则$X_{i+1}=F(x_i)$。称 阅读全文
摘要：
Overview 要为不同的程序，不同的目的量身定制数据流分析方案 application-specific data 为了可行性，常常要做一定精度损失over-approximation of data flows may analysis/over analysis: 增加假阳结果，输出结果不一 阅读全文