Я хочу сгенерировать график зависимости программ (PDG) от Java Bytecode для дальнейшего программного анализа. Так как это старое (бумага - с 1987 года и, по-видимому, хорошо известная технология, я думал, что подходящие инструменты будут легко доступны --- однако я не смог их найти.
Фактически расширенный поиск показал лишь несколько результатов:
- Проект Bandera, который был оставлен в 2006 году.
- Проект Indus, который, кажется, не получал никаких усилий с 2007 года, за исключением того, что он был создан с открытым исходным кодом в 2009 году.
- Проект Moose JEE, который кажется довольно новым, поскольку в принципе нет документации.
- И Soot framework, который предоставляет некоторые классы (см. JavaDoc), но, похоже, не хватает реализации для генерации. Фактически, Саут является основой для Бандеры и Инда.
Итак, мой вопрос заключается в следующем: есть ли живая и поддерживаемая реализация? Есть ли у кого-нибудь опыт в одном из вышеупомянутых проектов? Что бы вы порекомендовали?
Спасибо вам за ваш вклад, мы высоко ценим!