1 مستودع
Analyzing binary boundaries and call graphs to map program structure and identify object file changes.
Distinct from Programming Languages and Compilers: Shortlist candidates focus on compilers and logic programming; this is about auditing the resulting binary structure.
Explore 1 awesome GitHub repository matching operating systems & systems programming · Compiled Program Auditing. Refine with filters or upvote what's useful.
Diaphora هي أداة لمقارنة الملفات الثنائية ومحرك تشابه مصمم لمقارنة الملفات الثنائية المجمعة وتحديد أقسام الكود المتغيرة أو المتطابقة. تعمل كإضافة للهندسة العكسية تقوم برسم خرائط للعلاقات بين الدوال واكتشاف وحدات التجميع باستخدام تحليل المجمع ونظرية الرسم البياني. يتخصص المشروع في تحليل تصحيحات الثغرات الأمنية، مما يسمح للمستخدمين باكتشاف الإصلاحات الأمنية من خلال مقارنة إصدارات مختلفة من ملف ثنائي. يقوم بمزامنة بيانات التحليل الوصفية، مثل أسماء الرموز والتعليقات، بين الملفات الثنائية ويولد تصحيحات من خلال مقارنة الكود الزائف (pseudo-code) الذي تم فك تجميعه. يستخدم المحرك رسوم بيانية لتدفق التحكم ومطابقة استدلالية لحساب نسب التشابه بين الدوال. تشمل قدراته الأوسع رسم خرائط لرسوم استدعاء الدوال، وتحديد حدود ملفات الكائنات، وإدارة حالة التحليل من خلال قاعدة بيانات علائقية لتسهيل الإسناد الترافقي على نطاق واسع.
Analyzes binary boundaries and call graphs to map program structure and identify specific object file changes.