我正在尝试对 Java 源文件执行程序分析。是否有任何预定义的算法来执行变量类型分析和快速类型分析？
问问题
666 次
2 回答
3
Soot是一个 java 的分析框架。
“Java 程序分析的 Soot 框架：回顾”说 Spark 模块可能与您正在做的事情相关：
Spark 实现了多种不同的调用图构造方法，包括类层次分析和快速类型分析；然而，我们发现最有效的调用图构建方法是即时进行的，并在计算点到集的同时构建调用图，从 CHA 调用图作为可达集的初始近似值开始方法。
于 2012-02-20T16:41:25.753 回答