java - jimpleファイルのメソッドで定義された変数がJavaクラスファイルのどの変数に対応するかを知るにはどうすればよいですか？

Question

Sootは、Javaクラスファイルをローカル変数の名前が変更されたjimpleファイルに変換します。ここで、どのSootがそれを行うかに基づいたスキームを知りたいと思います。

Answer 1

ここのSootリポジトリのコードから判断すると、元のローカル名を使用しているように見えますが、名前の前に付け$られ、生成された名前のタイプを反映する1文字が使用されています。