我有兴趣使用编译器基础架构框架 Soot 为 Java 构建 Andersen 的指针分析。以下是该领域的论文。我无法确定一种合适的方法来开始和编写针对 Java 的分析。谁能帮我这个？
一种针对严格类型语言的高效基于包含的指向分析 http://suif.stanford.edu/~jwhaley/papers/sas02.pdf
C 编程语言的程序分析和专业化（原始安徒生的分析论文） http://www.cs.cornell.edu/courses/cs711/2005fa/papers/andersen-thesis94.pdf
Java 要点：通用框架和实证比较 https://pp.info.uni-karlsruhe.de/uploads/publikationen/streckenbach00tr.pdf
使用 Spark 扩展 Java Points-To 分析 https://plg.uwaterloo.ca/~olhotak/pubs/sable-tr-2002-9.pdf
使用带注释约束的 Java 点对点分析 http://www.cs.rpi.edu/~milanova/docs/oopsla01.pdf
谢谢，