我怎样才能知道jimple文件的方法中定义的变量对应于java类文件中的变量？

Question

Soot将java类文件转换为jimple文件，并重命名了局部变量。现在我想知道基于Soot做什么的方案。

Answer 1

根据Soot存储库here中的代码判断，它使用原始本地名称，同时使用前缀为$的名称和反映生成类型的单字符。