Комбинированный прямой и обратный анализ в саже

Я хочу выполнить анализ потока данных в саже. Но природа моего анализа заключается в том, что он будет выполнять одну итерацию анализа Forward, а затем одну итерацию анализа Backward с использованием значений потока данных, вычисленных в анализе Forward. Эти две итерации превращаются в одну итерацию моей методики анализа.

Возможно ли это в Саже, так как она обеспечивает только прямой, обратный и прямой анализ потоков?

Если это не так, какие изменения мне нужно сделать в рамках сажи. Если есть другие инструменты, доступные для анализа потока данных в JAVA, то кто-то может просто сказать мне.

Заранее спасибо,

Mandar

Источник

1 ответ

Да, это вполне возможно. Возможно, вы захотите взглянуть на нашу статью о Бумеранге, чтобы увидеть, как такой анализ может быть реализован: http://www.bodden.de/research/publications/

FlowDroid также использует аналогичный метод реализации и доступен онлайн: https://blogs.uni-paderborn.de/sse/tools/flowdroid/

Источник
Другие вопросы по тегам