team-atlanta/aixcc-afc-atlantisस्वचालित साइबर तर्क प्रणाली जो सुरक्षा अनुसंधान के लिए फ़ज़िंग, बाइनरी विश्लेषण और प्रोग्राम तर्क के माध्यम से सॉफ़्टवेयर कमज़ोरियों की खोज और विश्लेषण करती है।
इस रिपॉजिटरी में Atlantis शामिल है, जो AIxCC Final Competition (AFC) के लिए प्रस्तुत Team Atlanta का Cyber Reasoning System (CRS) है।
Atlantis को सॉफ्टवेयर सिस्टम में कमजोरियों (vulnerabilities) को स्वचालित रूप से खोजने और विश्लेषण करने के लिए डिज़ाइन किया गया है।
मुख्य सिस्टम कार्यान्वयन example-crs-webservice निर्देशिका में स्थित है।
Atlantis CRS सिस्टम को तैनात करने और चलाने के लिए, example-crs-architecture निर्देशिका में दिए गए दस्तावेज़ देखें।
example-crs-webservice/ - मुख्य Atlantis CRS कार्यान्वयनexample-crs-architecture/ - इंफ्रास्ट्रक्चर और डिप्लॉयमेंट कॉन्फ़िगरेशनexample-crs-appendix/ - अतिरिक्त उपकरण और उपयोगिताएँ