Java-парсер с перечислением потока управления

Question

Существует ли инструмент разбора Java с открытым исходным кодом, который может перечислять пути потока управления через метод и вычислять ограничения диапазона для целочисленных переменных? (Сат-солвер тоже подойдет)

- РЕДАКТИРОВАТЬ -

Это ответ , который вызвал этот вопрос.

Это коммерческая версия инструмента Я думаю о.

Мой вопрос - что является ближайшим эквивалентом с открытым исходным кодом?

Answer 1

Близким приближением к вашему запросу является Java Symbolic PathFinder .С сайта:

Symbolic PathFinder

• Выполняет символическое выполнение байт-кодов Java
• Обрабатывает сложные математические ограничения, структуры данных и массивы, многопоточность, предварительные условия, строки(текущая работа)
• Применяется к (исполняемым) моделям и коду
• Генерирует тестовые векторы и тестовые последовательности, которые гарантированно обеспечивают заданное пользователем покрытие (например, путь, оператор, ветвь, MC/ DC-покрытие)
• Измеряет покрытие.
• Генерирует тесты JUnit, сценарии моделирования Antares и т. Д. (Выходные данные могут быть легко настраиваемыми)
• Во время процесса генерации тестов проверяются ошибки
• Гибкость, поскольку позволяет легко кодировать различные критерии покрытия.
• Интегрируется со средой моделирования (текущая работа)

Что касается вашего второго вопроса, есть собственный Java SAT solver: sat4j