静态软件分析-上下文敏感

• C.I. mixed objects under different contexts and propagated to other parts of program, causing spurious data flows.

• call-site sensitivity (call-string) represents each context of a method as a chain of call sites.

  • One clone per context(with a signing symbol)

Context-Sensitive Heap

• OO语言经常修改堆区(对象)，So heap-intensive. 我们给抽象的对象加上上下文。

The most common choice is to inherit contexts from the method where the object is allocated.

Rules

![](