Скачать: https://dynamic.ispras.ru (Linux/mia-runner-protected.tar.gz)
Примеры: включены в состав релиза (см. каталог mia-runner/mia-targets)
Багтрекер: https://crusher.ispras.ru
Демонстрационное видео: https://dynamic.ispras.ru (Linux/MIA.mp4)
MIA (Mutation Impact Analyzer) — гибридная система анализа, непрерывно интегрирующая результаты средств статического и динамического анализа в едином представлении и в реальном времени повышающая эффективность работы этих средств.
Система позволяет запускать анализ через веб-интерфейс, отслеживать процесс их выполнения и результаты, а также взаимодействовать с графом потока управления и графом вызовов функций.
Возможности MIA:
• отслеживать покрытие и автоматизированно направлять динамический анализ в непокрытые участки программы;
• определять зависимости условных переходов от конкретных значений во входных данных;
• обнаруживать участки кода, на которых при одинаковых входных данных наблюдается недетерминированное поведение программы;
• выполнять девиртуализацию вызовов методов и функций, позволяющую восстанавливать полный граф потока управления (CFG) и использовать эти результаты для уточнения статического анализа;
• импортировать дефекты, обнаруженные статическими анализаторами, из файлов формата SARIF (BinSide, Svace и др.) и отображать их в графическом интерфейсе с возможностью определения входных данных фаззинга, проходящих через соответствующие дефекты;
• отображать MC/DC покрытие.
