Существуют ли какие-либо библиотеки анализа Java с открытым исходным кодом для зависимости данных / управления?

Я ищу библиотеку / API, в которой есть готовые данные и анализ зависимости управления для программ Java. Это будет статический анализ графа потока управления (CFG) данной программы для вычисления зависимостей данных и зависимостей управления. Я бы хотел избежать повторной реализации этих методов / алгоритмов, если они уже были выполнены. Межпроцедурный анализ был бы прекрасен, но я мог бы работать с библиотекой, которая также выполняет внутрипроцедурный анализ.

Мы будем очень благодарны за любые предложения.

Редактировать: Я обнаружил jChord , но я еще не смог определить, есть ли в нем какие-либо готовые функции, которые я ищу, или если бы мне пришлось реализовать это самому.

Другая возможность - это библиотека joeq , которая, кажется, по крайней мере, имеет необходимую для этого инфраструктуру, но документация (или ее отсутствие) мешает мне сказать, на что она на самом деле способна. .

Я уверен, что Eclipse выполняет множество скрытых анализов потока данных, но я еще не видел ничего, что было бы доступно общественности. Кто-нибудь знает, что в Eclipse API есть такие вещи?