Awesome GitHub RepositoriesUnreachable Code Analysis

Vulture is a static analysis tool and linter designed to find unused variables, functions, and classes in Python source code. It operates as a dead code detector and unused code finder that scans source files to identify unreachable expressions and imports without executing the code. The tool employs a confidence-based heuristic scoring system to assign probability values to detections, helping to distinguish truly unused symbols from potential false positives. It further assists in pruning dead logic by sorting detected unused classes and functions by line count to prioritize the removal of

Simplify هو بيئة تجريبية (sandbox) لجهاز Android الافتراضي، ومتتبع لتنفيذ الـ bytecode، وإطار عمل للتحليل الساكن. يعمل كأداة لإزالة التشويش (deobfuscator) عن الـ Dalvik bytecode المصممة لاستعادة كود قابل للقراءة من الملفات الثنائية عبر محاكاة سلوك البرنامج دون الحاجة لجهاز فعلي. يتميز المشروع باستخدام تحليل مخطط التنفيذ لحل استدعاءات الانعكاس (reflection) وتبسيط الكود المشوش من خلال نشر الثوابت وإزالة الكود الميت. ويستخدم محاكاة التنفيذ متعدد المسارات لتتبع جميع نتائج الفروع الشرطية الممكنة ورسم تدفق التعليمات لتحديد القيم الثابتة. يغطي النظام نطاقاً واسعاً من قدرات التحليل، بما في ذلك تتبع انتشار الاستثناءات، وتصنيف الآثار الجانبية للطرق (methods)، ومحاكاة استدعاءات Java API. كما يوفر آليات لاعتراض تنفيذ الطرق عبر خطافات (hooks) مخصصة لمراقبة أو تجاوز حالات الجهاز الافتراضي.

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

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