Смещения байт-кода и смещения стека в саже
Для проекта, над которым я сейчас работаю, нам нужно иметь возможность точно отобразить адреса байт-кода для инструкций, соответствующих местоположениям в Shimple, а также смещения стека и ссылки на поля объектов для идентификаторов в Shimple. Расположение команд будет использоваться для "захвата" выполнения SPF для запуска статического символьного выполнения. В этих точках ловушки мы должны иметь возможность передавать информацию в и из стековых местоположений и ссылок на поля, которые используются в области статического кода.
Можно ли использовать "как есть" или изменить сажу, чтобы предоставить эту информацию? Нас интересует либо информация из исходного кода, либо, если это проще, переписанный байт-код из формы Soot Shimple. В предыдущих версиях Soot мы могли получить инструкции для байт-кода, но похоже, что текущая версия, использующая интерфейс ASM, больше не поддерживает это.
Еще раз, в частности, нам нужно следующее: - смещения байт-кода java, соответствующие операторам ветвления Shimple - смещения стека для локальных переменных, на которые ссылается Shimple - номера полей, связанные со ссылками на поля в Shimple.
Большое спасибо за уделенное время!
1 ответ
Не могли бы вы обсудить это в багтрекере Саута? Таким образом, мы все можем внести свой вклад...