كاليستو

أداة تحليل ثغرات ثنائية آلية ذكية

عرض توضيحي:

كاليستو هي أداة تحليل ثغرات ثنائية آلية ذكية. الغرض منها هو فك ترجمة ملف ثنائي بشكل مستقل والتنقل عبر مخرجات الكود الزائف للبحث عن ثغرات أمنية محتملة في ذلك الكود السي الزائف. يعمل مفكك الترجمة الخاص بـ Ghidra بدون واجهة رسومية على تشغيل جزء فك الترجمة والتحليل الثنائي. يتم إجراء تحليل الكود الزائف في البداية بواسطة أداة Semgrep للتحليل الثابت (SAST) ثم يتم نقلها إلى GPT-3.5-Turbo للتحقق من نتائج Semgrep، بالإضافة إلى تحديد محتمل لثغرات إضافية.

الغرض المقصود من هذه الأداة هو المساعدة في التحليل الثنائي واكتشاف الثغرات الصفرية. يهدف الإخراج إلى مساعدة الباحث في تحديد المناطق المحتملة ذات الاهتمام أو المكونات الضعيفة في الملف الثنائي، والتي يمكن متابعتها باختبارات ديناميكية للتحقق والاستغلال. بالتأكيد لن تلتقط كل شيء، لكن التحقق المزدوج مع Semgrep إلى GPT-3.5 يهدف إلى تقليل الإيجابيات الخاطئة والسماح بتحليل أعمق للبرنامج.

بالنسبة لأولئك الذين يتطلعون فقط إلى استخدام الأداة كمفكك ترجمة سريع بدون واجهة رسومية، فإن ملف output.c الذي تم إنشاؤه سيحتوي على جميع الكود الزائف المستخرج من الملف الثنائي. يمكن توصيل ذلك بأدوات SAST الخاصة بك أو تحليله يدويًا.

أدين بالشكر الكبير لـ Marco Ivaldi @0xdea على قواعده المخصصة لـ Semgrep بلغة C والتي تم إصدارها علنًا، وكذلك على فكرته في أتمتة اكتشاف الثغرات باستخدام semgrep ومخرجات الكود الزائف من مفككات الترجمة. يمكنك قراءة المزيد عن بحثه هنا: أتمتة اكتشاف الثغرات الثنائية باستخدام Ghidra و Semgrep

المتطلبات:

• إذا كنت ترغب في استخدام ميزة GPT-3.5-Turbo، يجب إنشاء رمز API على OpenAI وحفظه في ملف config.txt في هذا المجلد
• Ghidra
• Semgrep - pip install semgrep
• requirements.txt - pip install -r requirements.txt
• تأكد من تعيين المسار الصحيح لدليل Ghidra الخاص بك في ملف config.txt

للتشغيل: python callisto.py -b <path_to_binary> -ai -o <path_to_output_file>

• -ai => تمكين تحليل OpenAI GPT-3.5-Turbo. سيتطلب وضع مفتاح API صالح لـ OpenAI في ملف config.txt
• -o => تحديد ملف الإخراج، إذا كنت ترغب في حفظ المخرجات
• -ai و -o هما معلمتان اختياريتان
• -all سيقوم بتشغيل جميع الدوال من خلال تحليل OpenAI، بغض النظر عن أي نتائج من Semgrep. هذا العلم يتطلب العلم التمهيدي -ai
• مثال: python callisto.py -b vulnProgram.exe -ai -o results.txt
• مثال: (تشغيل جميع الدوال من خلال تحليل الذكاء الاصطناعي):
  python callisto.py -b vulnProgram.exe -ai -all -o results.txt

مثال على إخراج البرنامج: