
نظام استدلال سيبراني آلي يكتشف ويحلل ثغرات البرمجيات من خلال الفيزينغ (Fuzzing)، وتحليل الملفات الثنائية، والاستدلال البرمجي لأغراض البحث الأمني.
يحتوي هذا المستودع على Atlantis، نظام الاستدلال السيبراني (CRS) الخاص بفريق أتلانتا والمقدَّم إلى المسابقة النهائية لـ AIxCC (AFC).
تم تصميم Atlantis لاكتشاف وتحليل الثغرات الأمنية في الأنظمة البرمجية تلقائيًا.
يقع التنفيذ الرئيسي للنظام في الدليل example-crs-webservice.
لنشر وتشغيل نظام Atlantis CRS، راجع الوثائق الموجودة في الدليل example-crs-architecture.
example-crs-webservice/ - التنفيذ الرئيسي لنظام Atlantis CRSexample-crs-architecture/ - البنية التحتية وإعدادات النشرexample-crs-appendix/ - أدوات ومرافق إضافية