Я ищу библиотеку / API, которая имеет некоторые готовые данные и анализ зависимостей для программ Java.Это будет статический анализ на графике потока управления (CFG) данной программы для вычисления зависимостей данных и зависимостей управления.Я хотел бы избежать повторной реализации этих методов / алгоритмов, если они уже были сделаны.Был бы полезен межпроцедурный анализ, но я мог бы поработать с библиотекой, которая также выполняет внутрипроцедурный анализ.
Буду признателен за любые предложения.
Редактировать: Одна вещь, которую я нашел, это jChord , но я пока не смог определить, обладает ли она какой-либо из готовых функциональных возможностей, которые я ищу, или мне пришлось быреализовать его самостоятельно.
Другая возможность - это библиотека joeq , которая, по крайней мере, обладает необходимой для этого инфраструктурой, но документация (или ее отсутствие)из-за этого мне сложно сказать, на что он на самом деле способен.
Я уверен, что Eclipse много анализирует потоки данных под капотом, но я еще не видел ничего такого, что было бы общедоступным.Кто-нибудь знает, что в Eclipse API есть такие вещи?