lisa
0.1
Лиза (Библиотека для статического анализа) направлена на то, чтобы облегчить создание и реализацию статических анализаторов на основе теории абстрактной интерпретации. LISA предоставляет механизм анализа, который работает над общим и расширяемым представлением графа управления программой для анализа. Абстрактные переводчики в LISA созданы для анализа такого представления, обеспечивая уникальную инфраструктуру анализа для всех анализаторов, которые будут полагаться на него.
Создание анализатора на LISA сводится к написанию анализатора для языка, который стремится проанализировать, переводив исходный код или скомпилированный код в направлении представления графика управления LISA. Затем, простые проверки итерации по результатам, предоставленным семантическим анализом LISA, могут быть легко определены, чтобы перевести семантическую информацию в предупреждения, которые могут быть оценены для конечного пользователя.
Для получения дополнительной информации, документации и полезных руководств см. Веб -сайт проекта!
LISA разрабатывается и поддерживается группой программного обеспечения и проверки системы (SSV) @ Università CA 'Foscari в Венеции, Италия. Внешние взносы всегда приветствуются! Ознакомьтесь с нашими рекомендациями для получения информации о том, как внести свой вклад в LISA.
Отправляйтесь на страницу релизов для полного списка выпусков.
Снимок последнего коммита master ветви всегда доступен на пакетах Github. Имейте в виду, что вам понадобится токен для личного доступа, чтобы использовать пакеты в качестве сервера для разрешения зависимостей. Вы можете обратиться к официальному руководству Github для Maven или Gradle для получения дополнительной информации.
