ATLANTIS: AI-driven Threat Localization, Analysis, and Triage Intelligence System

## Контекст Атаки в сфере кибербезопасности становятся все более сложными, что создает целый ряд проблем для широкого круга организаций. Они должны быстро обнаруживать и устранять уязвимости, но также обеспечивать корректность и эффективность используемых систем. Особенно трудно это становится при работе с разными языками программирования и большими кодовыми базами. Дарпа организовала AI Cyber Challenge (AIxCC), чтобы стимулировать развитие систем автоматизированного анализа и устранения уязвимостей. Этот конкурс стал мотивацией для создания ATLANTIS, системы, которая объединяет большие языковые модели (LLMs) с различными анализами программ, включая символьное исполнение, направленное фаззинг и статический анализ. ## Метод ATLANTIS разработана как комплексное решение, которое объединяет многоуровневый подход к анализу программ. Она использует: - **Большие языковые модели (LLMs)** для обработки текстовых запросов и понимания кода на разных уровнях. - **Символьное исполнение** для глубокого понимания выполнения программ и нахождения технических уязвимостей. - **Направленное фаззинг** для эффективного отыскания уязвимостей в разных частях кода. - **Статический анализ** для поиска потенциальных проблем независимо от исполнения. ATLANTIS также имплементирует систему для продуктивного устранения ошибок и создания правильных исправлений. Это решение позволяет быстро адаптироваться к различным типам кода, от C до Java, и обеспечена высокой точностью без потери широкого покрытия. ## Результаты В ходе исследований была проведена многоэтапная оценка ATLANTIS, включающая тестирование на различных кодовых базах. Она показала высокую точность в обнаружении уязвимостей и эффективность в их устранении. Набор данных, использованный в экспериментах, включал различные типы уязвимостей, что позволило проверить систему на реальных условиях. Результаты показали, что ATLANTIS выделяется своей скоростью и точностью, даже при работе с большими и сложными кодовыми базами. ## Значимость ATLANTIS может применяться в различных областях, где необходима быстрая и точная диагностика уязвимостей. Она имеет преимущества перед существующими системами, так как объединяет в себе несколько технологий, обеспечивая более высокую точность и покрытие. Это открывает широкие возможности для создания более безопасных систем, а также может способствовать развитию новых подходов в автоматическом программном исправлении. Также ATLANTIS может использоваться в отраслях, где требуется высокая эффективность анализа, таких как финансы, здравоохранение и ИТ-инфраструкту