Web 前端开发复习

什么原因导致了上下文不敏感分析的低精度： - 1. 在动态执行时，对同一个函数的不同调用，往往有着不同的调用上下文（calling contexts），如上一小节的例子中两次对 id 的调用。 - 2. 不同的调用上下文会被混合并传播，进而形成假的数据流。如上一小节的例子中指针 x 和 y 指向两个目标。

指针分析是在指针间**传递**指向关系。最开始的指向关系都来自于 `new` 语句。 指针分析的关键：当 $pt(x)$ 变化时，也要更新 $x$ 相关的其他指针

此前我们讨论的问题都是过程内的，也就是不涉及到方法调用。然而实际程序中方法调用屡见不鲜，继续采用之前的分析方法会丢失精度，这也就是为什么我们需要过程 (间) 分析。

重点 Understand the three data flow analyses: reaching definitions live variables available expressions Can tell the differences and similarities of the three data flow analyses Understand the iterative algorithm and can tell why it is able to terminate