В настоящее время я работаю над проектом Java, целью которого является выполнение техники нарезки вперед / назад с использованием инфраструктуры Soot.
Общая картина моего проекта - преобразовать некоторые файлы байт-кода в формы Jipmle, а затем выполнить пересылку/ обратная нарезка, основанная на определенной аннотированной переменной (ях).Как известно, платформа Soot не поддерживает какие-либо методы нарезки.
Интересно, смогу ли я использовать FlowDroid для достижения следующих двух пунктов:
- Аннотировать определенную переменную в моем Java-коде?
- Выполнить срезы вперед / назад на основе аннотированных переменных в моем Java-проекте программно?
Пожалуйста, объясните мне, каксделать это с помощью FlowDroid или любого другого.
Заранее спасибо.