team-atlanta/aixcc-afc-atlantisАвтоматизированная система киберрассуждений, которая обнаруживает и анализирует уязвимости программного обеспечения с помощью фаззинга, анализа бинарного кода и рассуждений о программах для исследований в области безопасности.
Этот репозиторий содержит Atlantis — систему киберрассуждений (CRS) команды Atlanta, представленную на финальном соревновании AIxCC (AFC).
Atlantis предназначена для автоматического обнаружения и анализа уязвимостей в программных системах.
Основная реализация системы находится в каталоге example-crs-webservice.
Для развертывания и запуска системы Atlantis CRS обратитесь к документации в каталоге example-crs-architecture.
example-crs-webservice/ - Основная реализация Atlantis CRSexample-crs-architecture/ - Конфигурации инфраструктуры и развертыванияexample-crs-appendix/ - Дополнительные инструменты и утилиты