تنزيل seninja - تنزيل رمز المصدر seninja

seninja

فئات أخرى

v0.5.0

تنزيل

Seninja - البرنامج المساعد الرمزي للتنفيذ لـ Binary Ninja

: ابدأ التنفيذ

: خطوة الحالة الحالية

: ركض حتى الفرع

: تنفيذ الحالة الحالية حتى العنوان المحدد حاليًا

: ابدأ بحث DFS

: ابدأ بحث BFS

: قم بتعيين العنوان المحدد حاليًا كهدف للبحث

: تجنب العنوان المحدد حاليًا أثناء البحث

: إعادة ضبط الأهداف وتجنب العناوين

: توقف عن البحث

: إعادة تعيين Seninja

عرض التسجيل

يمكن استخدام طريقة عرض التسجيل لتصور قيمة سجلات الحالة النشطة. يمكن تعديل قيمة السجل بالنقر المزدوج عليه. تسمح قائمة النقر بزر الماوس الأيمن بما يلي:

انسخ محتوى السجل
قم بتوسيع قيمة السجل
تقييم قيمة السجل باستخدام حلال
حقن الرموز
عرض التعبير السجل
اضبط السجل على عنوان المخزن المؤقت الذي تم إنشاؤه باستخدام عرض المخزن المؤقت

عرض الذاكرة

يمكن استخدام طريقة عرض الذاكرة لتصور قيمة جزء من ذاكرة الحالة النشطة. من خلال النقر على "مراقبة الذاكرة" ، يمكن للمستخدم تحديد عنوان ذاكرة للمراقبة. ستعرض القطعة 512 بايت بدءًا من هذا العنوان. يتم تقسيم طريقة عرض الذاكرة في قسمين: Hexview و ASCII. تعرض Hexview قيمة Hex لكل بايت فقط إذا تم تعيين البايت والخرسانة. إذا كان البايت غير محفور ، فسيتم عرض _ _ إذا كانت البايت رمزية ، فإن القطعة تُظهر الحرف . .

تسمح قائمة النقر بزر الماوس الأيمن بما يلي:

انسخ الاختيار (بتنسيق مختلف ، مثل Little-Endian ، ثنائي ، إلخ)
قم بتوسيع قيمة الاختيار
تقييم قيمة التحديد باستخدام Solver
حقن الرموز

عرض المخازن المؤقتة

تتيح هذه القطعة إنشاء مخازن مؤقتة تحتوي على بيانات رمزية.

واجهات برمجة تطبيقات سطر الأوامر

يمكن تنفيذ المزيد من واجهات برمجة التطبيقات من خلال قذيفة Python. على سبيل المثال ، يمكننا استخدام Solver لإثبات شرط للحالة الحالية:

 > >> import borzacchiello_seninja as seninja
> >> s = seninja . get_current_state ()
> >> s . solver . satisfiable ( extra_constraints = [ s . regs . eax == 3 ])

سوف يتحقق الرمز من رضا eax == 3 بالنظر إلى قيود المسار للحالة النشطة.

استشر wiki للحصول على مزيد من المعلومات حول الأوامر.

إعدادات

يعطي Seninja للمستخدم إمكانية تكوين أجزاء كثيرة من المحرك الرمزي (مثل البعد للصفحات ، واستراتيجية الوصول إلى الذاكرة الرمزية ، إلخ). يمكن الوصول إلى جميع الإعدادات المتاحة وتعديلها من خلال النقر على Edit/Preferences/Settings واختيار SENinja في عنصر واجهة المستخدم اليسرى.