Callisto

Интеллектуальный автоматизированный инструмент анализа уязвимостей в бинарных файлах

Демонстрация:

Callisto — это интеллектуальный автоматизированный инструмент анализа уязвимостей в бинарных файлах. Его цель — автономно декомпилировать предоставленный бинарный файл и проанализировать полученный псевдокод на предмет потенциальных уязвимостей безопасности в этом псевдо-коде C. Безголовый декомпилятор Ghidra выполняет декомпиляцию и анализ бинарного файла. Анализ псевдокода изначально выполняется инструментом SAST Semgrep, а затем передаётся GPT-3.5-Turbo для верификации находок Semgrep, а также для возможного выявления дополнительных уязвимостей.

Предполагаемое назначение этого инструмента — помощь в анализе бинарных файлов и поиске уязвимостей нулевого дня. Результаты работы призваны помочь исследователю выявить потенциальные области интереса или уязвимые компоненты в бинарном файле, которые затем можно проверить динамическим тестированием для верификации и эксплуатации. Инструмент, конечно, не поймает всё, но двойная верификация с помощью Semgrep и GPT-3.5 направлена на уменьшение количества ложных срабатываний и позволяет провести более глубокий анализ программы.

Для тех, кто хочет использовать инструмент только как быстрый безголовый декомпилятор, создаваемый файл output.c будет содержать весь извлечённый псевдокод из бинарного файла. Его можно подключить к собственным инструментам SAST или проанализировать вручную.

Я очень благодарен Marco Ivaldi @0xdea за его опубликованные пользовательские правила Semgrep для C, а также за его идею автоматизировать обнаружение уязвимостей с помощью Semgrep и псевдокода из декомпиляторов. Подробнее о его исследовании можно прочитать здесь: Automating binary vulnerability discovery with Ghidra and Semgrep