NJU静态分析 - Lab6 - 上下文敏感指针分析

分析

算法实现与非上下文敏感的指针分析一致，只需要在创建新对象和进行函数调用时用ContextSelector创建新的上下文即可。ContextSelector的实现也非常简单，对链表进行操作即可。

踩过的坑

• 堆上下文的层数为\(k-1\)，其中\(k\)是ContextSelector的层数
• 不需要创建新上下文的时候就不要使用ContextSelector，直接用已有指针的上下文