Awesome GitHub RepositoriesBinary Execution Analysis

هذا المشروع عبارة عن أداة تحليل مكتوبة بـ Rust تلتقط وتحول وتصور مكدسات استدعاء الدوال لتحديد اختناقات أداء النظام. تعمل كمغلف لمحلل أخذ العينات يحول بيانات التحليل الخام إلى رسوم بيانية تفاعلية للهب (flamegraphs)، وهي خرائط هرمية لاستهلاك الموارد. توفر الأداة تكاملاً متخصصاً مع نظام بناء Rust لتحليل الملفات الثنائية ومعايير الأداء. كما تسمح بتكوينات تحليل مخصصة، مما يتيح للمستخدمين تجاوز أدوات تحليل النظام الافتراضية أو تسجيل الأعلام للتحكم في كيفية جمع البيانات. تدعم الأداة مراقبة أداء التطبيقات وتحليل التنفيذ الثنائي. ويمكنها التقاط بيانات الأداء عن طريق الإرفاق بمعرف عملية نشط لتحليل تطبيق قيد التشغيل دون الحاجة إلى إعادة تشغيل.

هذا المشروع عبارة عن دورة تعليمية منظمة ودليل إرشادي يركز على الهندسة العكسية لـ x64 Windows. يوفر منهجاً لتحليل وتفكيك ملفات Windows الثنائية من خلال دراسة لغة التجميع وداخل نظام التشغيل. تغطي المادة تحليل ملفات Windows الثنائية وتحليل البرمجيات الضارة، مع تركيز خاص على تفسير كود آلة x64 لاستعادة منطق البرنامج الأصلي. يوجه المستخدم خلال عملية تتبع سلوك البرنامج وتسجيل استدعاءات الوظائف لفهم كيفية عمل الملفات الثنائية. يشمل النطاق التقني التفكيك على مستوى التجميع، وفحص الحالة المدفوع بالمصحح، وتتبع الاستدعاء الديناميكي. كما يغطي التحليل القائم على التعليمات، وربط (hooking) واجهة برمجة تطبيقات Windows، وتعيين سجلات x64 لمراقبة كيفية تفاعل البرمجيات مع النظام.

Triton is a dynamic binary analysis framework designed to automate reverse engineering. It functions as a multi-architecture CPU emulator, an SMT-based symbolic execution engine, and a dynamic taint analysis tool. The framework translates raw machine instructions into abstract syntax trees, allowing it to represent binary program logic as a structured intermediate representation. This allows the system to map multiple hardware instruction sets to a single analysis framework and translate machine instructions into mathematical formulas for solving constraints. Its capabilities cover the simul

Qira is a binary analysis platform and execution tracer that records every instruction and data access during program execution for interactive playback and debugging. It functions as a runtime analysis environment that uses QEMU to trace execution and inspect memory and register states. The system provides a binary static analysis tool that maps program structure and annotates instructions based on captured runtime data. It includes a runtime memory analyzer to monitor reads and writes to specific addresses and an interactive debugger for navigating execution timelines. The platform covers

SVF is an open-source static program analysis framework and points-to analysis library that tracks memory references, variable aliases, and data dependencies across whole programs. The platform translates compiled intermediate code formats into unified internal representations, constructing constraint graphs, call graphs, and control-flow graphs to model interprocedural execution behavior and memory state. The framework incorporates specialized engines for flow-sensitive, flow-insensitive, and context-sensitive pointer analysis alongside sparse value-flow graph generation. It features memory

Phasar is a static analysis framework designed for the inspection of software logic through the processing of compiler intermediate representations. It provides a modular pipeline for building program representations, including call graphs, control flow graphs, and type hierarchies, which serve as the foundation for deep structural analysis of software behavior. The framework specializes in interprocedural data flow analysis and pointer alias resolution, enabling the tracking of information movement across function boundaries and the identification of indirect memory access patterns. By lever