指针分析

发表于 更新于 分类于

Fast and Accurate Flow-Insensitive Points-To Analysis

  • [1](Marc Shapiro and Susan Horwitz. 1997. Fast and accurate flow-insensitive points-to analysis. In Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages (POPL ‘97). Association for Computing Machinery, New York, NY, USA, 1–14. https://doi.org/10.1145/263699.263703)

原先的Steensgaard算法要求当一个节点的出度的时候就合并. [1]中的方法则是:

  1. 当节点的出度的时候, 再合并.
  2. 把所有的节点分为类.
  3. 可以多运行几次, 改变划分的方法, 合并最精确的.