Post

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

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

分析

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

踩过的坑

  • 堆上下文的层数为\(k-1\),其中\(k\)是ContextSelector的层数
  • 不需要创建新上下文的时候就不要使用ContextSelector,直接用已有指针的上下文
This post is licensed under CC BY 4.0 by the author.