team-atlanta/aixcc-afc-atlantisSistema automatizado de raciocínio cibernético que descobre e analisa vulnerabilidades de software por meio de fuzzing, análise binária e raciocínio de programas para pesquisa de segurança.
Este repositório contém Atlantis, o Sistema de Raciocínio Cibernético (CRS) da equipe Atlanta, submetido à Competição Final da AIxCC (AFC).
Atlantis é projetado para descobrir e analisar automaticamente vulnerabilidades em sistemas de software.
A implementação principal do sistema está localizada no diretório example-crs-webservice.
Para implantar e executar o sistema CRS Atlantis, consulte a documentação no diretório example-crs-architecture.
example-crs-webservice/ - Implementação principal do CRS Atlantisexample-crs-architecture/ - Configurações de infraestrutura e implantaçãoexample-crs-appendix/