3 مستودعات
Awesome GitHub RepositoriesExecution Graph Analysis
Analysis of execution graphs to track register ancestry and identify constant values for dead code removal.
Distinct from Unreachable Code Analysis: Broadens unreachable code analysis to include register value tracking via ancestry graphs.
Explore 3 awesome GitHub repositories matching testing & quality assurance · Execution Graph Analysis. Refine with filters or upvote what's useful.
Awesome Execution Graph Analysis GitHub Repositories
اعثر على أفضل المستودعات باستخدام الذكاء الاصطناعي.سنبحث عن أفضل المستودعات المطابقة باستخدام الذكاء الاصطناعي.
- calebfenton/simplify
CalebFenton/simplify
4,644عرض على GitHubSimplify هو بيئة تجريبية (sandbox) لجهاز Android الافتراضي، ومتتبع لتنفيذ الـ bytecode، وإطار عمل للتحليل الساكن. يعمل كأداة لإزالة التشويش (deobfuscator) عن الـ Dalvik bytecode المصممة لاستعادة كود قابل للقراءة من الملفات الثنائية عبر محاكاة سلوك البرنامج دون الحاجة لجهاز فعلي. يتميز المشروع باستخدام تحليل مخطط التنفيذ لحل استدعاءات الانعكاس (reflection) وتبسيط الكود المشوش من خلال نشر الثوابت وإزالة الكود الميت. ويستخدم محاكاة التنفيذ متعدد المسارات لتتبع جميع نتائج الفروع الشرطية الممكنة ورسم تدفق التعليمات لتحديد القيم الثابتة. يغطي النظام نطاقاً واسعاً من قدرات التحليل، بما في ذلك تتبع انتشار الاستثناءات، وتصنيف الآثار الجانبية للطرق (methods)، ومحاكاة استدعاءات Java API. كما يوفر آليات لاعتراض تنفيذ الطرق عبر خطافات (hooks) مخصصة لمراقبة أو تجاوز حالات الجهاز الافتراضي.
Maps instruction flow and register ancestry to identify constant values and remove unreachable dead code.
Java - onnxsim/onnxsim
onnxsim/onnxsim
4,353عرض على GitHubonnxsim هو محسن رسوم بيانية لتعلم الآلة ومبسط للنماذج مصمم لتقليل تعقيد رسوم بيانية حسابات ONNX. يعمل كضاغط للنماذج يستبدل تسلسلات المشغل المعقدة بمخرجات ثابتة مبسطة لتقليل العبء التشغيلي. يحقق المشروع التبسيط من خلال استنتاج الطي الثابت (constant folding)، والذي يستبدل الرسوم البيانية الفرعية للمشغلات الثابتة بموترات ثابتة محسوبة مسبقاً. يستخدم إعادة كتابة الرسوم البيانية القائمة على الأنماط وتحليل الرسوم البيانية للحسابات الثابتة لتحديد وإزالة العقد الزائدة أو العمليات التي لا يمكن الوصول إليها. تغطي الأداة قدرات واسعة لتحسين النماذج، بما في ذلك القضاء على تكرار المشغل وإزالة عقد إعادة التشكيل أو الهوية غير الضرورية. تعمل هذه العمليات على تبسيط تدفق التنفيذ وتقليل بصمة الذاكرة للنموذج.
Analyzes the execution graph to identify unreachable operations and redundant nodes for removal.
C++deep-learningonnxpytorch - svf-tools/svf
SVF-tools/SVF
1,684عرض على GitHubSVF 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
Produces call graphs and control flow graphs to visualize program structure and data dependencies.
C++code-analysiscode-securitydependency-analysis
