team-atlanta/aixcc-afc-atlantisSistema automatizzato di cyber reasoning che scopre e analizza vulnerabilità software tramite fuzzing, analisi binaria e ragionamento sui programmi per la ricerca sulla sicurezza.
Questa repository contiene Atlantis, il Cyber Reasoning System (CRS) del Team Atlanta presentato all'AIxCC Final Competition (AFC).
Atlantis è progettato per scoprire e analizzare automaticamente vulnerabilità nei sistemi software.
L'implementazione principale del sistema si trova nella directory example-crs-webservice.
Per distribuire ed eseguire il sistema CRS Atlantis, fare riferimento alla documentazione nella directory example-crs-architecture.
example-crs-webservice/ - Implementazione principale del CRS Atlantisexample-crs-architecture/ - Configurazioni di infrastruttura e distribuzioneexample-crs-appendix/ - Strumenti e utility aggiuntivi