team-atlanta/aixcc-afc-atlantisSistema automatizado de razonamiento cibernético que descubre y analiza vulnerabilidades de software mediante fuzzing, análisis binario y razonamiento de programas para la investigación de seguridad.
Este repositorio contiene Atlantis, el Sistema de Razonamiento Cibernético (CRS) del equipo Atlanta, presentado en la Competencia Final de AIxCC (AFC).
Atlantis está diseñado para descubrir y analizar automáticamente vulnerabilidades en sistemas de software.
La implementación principal del sistema se encuentra en el directorio example-crs-webservice.
Para desplegar y ejecutar el sistema Atlantis CRS, consulte la documentación en el directorio example-crs-architecture.
example-crs-webservice/ - Implementación principal del Atlantis CRSexample-crs-architecture/ - Infraestructura y configuraciones de despliegueexample-crs-appendix/