Hello World!

Static-Analysis 11-Pointer Analysis Context Sensitivity I

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

Static Analysis 08-Pointer Analysis

目标:分析程序指针可以指向哪些对象 说明:指针分析属于 may analysis,分析的结果是某指针所有可能指向哪些对象,是个 over-approximation 集合。

Static Analysis 07-Interprocedural Analysis

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

Hello World!