team-atlanta/aixcc-afc-atlantisSystème automatisé de raisonnement cybernétique qui découvre et analyse les vulnérabilités logicielles via le fuzzing, l'analyse binaire et le raisonnement sur les programmes pour la recherche en sécurité.
Ce dépôt contient Atlantis, le système de raisonnement cybernétique (CRS) de l'équipe Atlanta, soumis à la compétition finale AIxCC (AFC).
Atlantis est conçu pour découvrir et analyser automatiquement des vulnérabilités dans les systèmes logiciels.
L'implémentation principale du système se trouve dans le répertoire example-crs-webservice.
Pour déployer et exécuter le système CRS Atlantis, consultez la documentation dans le répertoire example-crs-architecture.
example-crs-webservice/ - Implémentation principale du CRS Atlantisexample-crs-architecture/ - Infrastructure et configurations de déploiementexample-crs-appendix/