java - 如何知道 jimple 文件的方法中定义的变量对应于 java 类文件中的哪些变量？

Question

Soot 将 java 类文件转换为 jimple 文件，并重命名了局部变量。现在我想知道 Soot 所依据的方案。

Answer 1

从这里的 Soot 存储库中的代码来看，它似乎使用原始本地名称，同时使用前缀为的名称$和反映生成名称类型的单个字符。