NJU静态分析 - Lab6 - 上下文敏感指针分析
NJU静态分析 - Lab6 - 上下文敏感指针分析
分析
算法实现与非上下文敏感的指针分析一致,只需要在创建新对象和进行函数调用时用ContextSelector
创建新的上下文即可。ContextSelector
的实现也非常简单,对链表进行操作即可。
踩过的坑
- 堆上下文的层数为\(k-1\),其中\(k\)是
ContextSelector
的层数 - 不需要创建新上下文的时候就不要使用
ContextSelector
,直接用已有指针的上下文
This post is licensed under CC BY 4.0 by the author.