Java 安达信'；带烟尘的s指针分析

我感兴趣的是使用编译基础架构框架So烟尘构建Andersen的Java指针分析。以下是这方面的论文。我无法确定一种正确的方法来启动和编程Java分析。有人能帮我吗

一种有效的基于包含的严格类型语言点分析方法

C编程语言的程序分析和专业化（安徒生分析论文原著）

Java的要点：一般框架和经验比较

使用Spark将Java点扩展到分析

使用带注释的约束进行Java分析的要点

---

谢谢，

不需要建造它，它已经在烟尘中了。只需使用-w标志。

无需构建它，它已经在烟尘中。只需使用-w标志。

但目标是构建它。不要使用已经提供的，但目标是建立它。不要使用已经提供的。