team-atlanta/aixcc-afc-atlantisAutomated cyber reasoning system that discovers and analyzes software vulnerabilities through fuzzing, binary analysis, and program reasoning for security research.
This repository contains Atlantis, Team Atlanta's Cyber Reasoning System (CRS) submitted to the AIxCC Final Competition (AFC).
Atlantis is designed to automatically discover and analyze vulnerabilities in software systems.
The main system implementation is located in the example-crs-webservice directory.
To deploy and run the Atlantis CRS system, refer to the documentation in the example-crs-architecture directory.
example-crs-webservice/ - Main Atlantis CRS implementationexample-crs-architecture/ - Infrastructure and deployment configsexample-crs-appendix/ - Additional tools and utilities