このリポジトリには、AIxCC最終競技（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/ - 追加ツールとユーティリティ