team-atlanta/aixcc-afc-atlantis퍼징, 바이너리 분석 및 프로그램 추론을 통해 소프트웨어 취약점을 발견하고 분석하여 보안 연구를 지원하는 자동화된 사이버 추론 시스템입니다.
이 저장소에는 AIxCC Final Competition (AFC)에 제출된 Team Atlanta의 Cyber Reasoning System (CRS)인 Atlantis가 포함되어 있습니다.
Atlantis는 소프트웨어 시스템의 취약점을 자동으로 발견하고 분석하도록 설계되었습니다.
주요 시스템 구현은 example-crs-webservice 디렉터리에 있습니다.
Atlantis CRS 시스템을 배포하고 실행하려면 example-crs-architecture 디렉터리의 문서를 참조하세요.
example-crs-webservice/ - 주요 Atlantis CRS 구현example-crs-architecture/ - 인프라 및 배포 구성example-crs-appendix/ - 추가 도구 및 유틸리티