team-atlanta/aixcc-afc-atlantisAutomatisiertes Cyber-Reasoning-System, das Softwareschwachstellen durch Fuzzing, Binäranalyse und Programm-Reasoning entdeckt und analysiert – für die Sicherheitsforschung.
Dieses Repository enthält Atlantis, das Cyber Reasoning System (CRS) von Team Atlanta, das zum AIxCC-Finale (AFC) eingereicht wurde.
Atlantis wurde entwickelt, um Schwachstellen in Softwaresystemen automatisch zu entdecken und zu analysieren.
Die Hauptimplementierung des Systems befindet sich im Verzeichnis example-crs-webservice.
Zum Bereitstellen und Ausführen des Atlantis-CRS-Systems lesen Sie die Dokumentation im Verzeichnis example-crs-architecture.
example-crs-webservice/ - Hauptimplementierung von Atlantis CRSexample-crs-architecture/ - Infrastruktur- und Bereitstellungskonfigurationenexample-crs-appendix/ - Zusätzliche Tools und Dienstprogramme