ISP Aurora: статический анализатор с технологией искусственного интеллекта

ISP Aurora: статический анализатор с технологией искусственного интеллекта

ISP Aurora — инструмент для выявления дефектов исодного кода и бинарных файлов путем генерации внутреннего представления программы и анализа этого представления большой языковой моделью (LLM).

Особенности и преимущества

SP Aurora — инструмент для анализа исходного и исполняемого кода, комбинирующий классический подход к анализу кода и подход на основе LLM, направленный на выявление дефектов. Найденные проблемы классифицируются по CWE и оформляются в текстовые отчёты.

Возможности ISP Aurora:

• Анализ кода без компиляции;
• Построение внутреннего представления для целевой программы;
• Автоматическое построение базы знаний о коде;
• Автоматический поиск дефектов в программах на основе статического анализа;
• Наличие расширенного набора детекторов по классификатору CWE;
• Генерация текстовых отчётов о найденных проблемах;
• Поддержка C/C++, Java, Kotlin, C#, Python, JavaScript и др.;
• Возможность использования локальных LLM моделей;
• Интеграция с инструментами Svace, Crusher, BinSide и ISPuaro.