aixcc-afc-atlantis

Atlantis 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...