我正在尝试对 Java 源文件执行程序分析。是否有预定义的算法来执行变量类型分析和快速类型分析？
最佳答案
Soot是一个java的分析框架。
"The Soot framework for Java program analysis: a retrospective"表示 Spark 模块可能与您正在做的事情相关:
Spark implements a number of different call graph construction methods, including Class Hierarchy Analysis and Rapid Type Analysis; however, we found that the most effective call graph construction method proceeds on-the-fly and builds the call graph at the same time as it computes points-to sets, starting with the CHA call graph as an initial approximation for the set of reachable methods.
关于java - 用于快速类型分析和变量类型分析的预定义算法，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/9362461/