Как я могу узнать, что переменные, определенные в методах файла jimple, соответствуют каким переменным в файле класса java?
Soot преобразует файл класса java в файл jimple с переименованными локальными переменными. Теперь я хочу знать схему, на основе которой Саута делает это.
1 ответ
Решение
Судя по коду в репозитории Soot, он использует оригинальные локальные имена при использовании имен с префиксом $
и одиночный символ, отражающий тип для сгенерированных.