本仓库包含 Atlantis,即 Team Atlanta 提交至 AIxCC 决赛(AFC)的 Cyber Reasoning System(CRS)。
Atlantis 旨在自动发现和分析软件系统中的漏洞。
主要系统实现位于 example-crs-webservice 目录中。
要部署和运行 Atlantis CRS 系统,请参阅 example-crs-architecture 目录中的文档。
example-crs-webservice/ - 主要的 Atlantis CRS 实现example-crs-architecture/ - 基础设施和部署配置example-crs-appendix/ - 附加工具和实用程序