3 مستودعات
Sequential workflows that coordinate binary decompilation, text extraction, and pattern matching.
Distinct from Static Analysis Extensions: Focuses on the overall sequential processing pipeline rather than just extension plugins for analysis.
Explore 3 awesome GitHub repositories matching software engineering & architecture · Analysis Pipelines. Refine with filters or upvote what's useful.
Apkleaks هي أداة تحليل ثابت ومدقق أمني مصمم لاستخراج الأسرار المشفرة، ونقاط نهاية API، والبيانات الحساسة من حزم تطبيقات Android. تعمل كماسح للأسرار يحلل الملفات الثنائية المجمعة دون تنفيذها لتحديد تسريبات المعلومات المحتملة ونقاط النهاية غير الآمنة. تستخدم الأداة محرك استخراج بيانات يعتمد على التعبيرات النمطية (regex) لتحديد السلاسل الحساسة داخل الكود الذي تم فك تجميعه. تدعم التخصيص من خلال أنماط بحث محددة بـ JSON وتوفر أعلام إعدادات لضبط سلوك المفكك الأساسي. يشمل خط أنابيب التحليل فك تجميع الملفات الثنائية، واستخراج النصوص، ومطابقة الأنماط. يمكن تصدير تسريبات الأمان وبيانات الاعتماد المحددة إلى ملفات نصية أو JSON للمراجعة دون اتصال.
Implements a sequential workflow of decompilation, text extraction, and pattern matching to analyze application packages.
Plato هو أداة تحليل ثابت لـ JavaScript ومصور لتعقيد الكود. يقوم بحساب مقاييس التعقيد وتشغيل فحوصات lint على كود مصدر JavaScript لتقييم جودة قاعدة الكود، مع تقديم النتائج من خلال لوحة تحكم للتحليل الثابت. يجمع النظام بيانات lint والمقاييس التقنية في تقارير مؤرخة. يقوم بحساب مقاييس cyclomatic وHalstead تحديداً لتحديد الملفات المعقدة بشكل مفرط وتقييم قابلية صيانة المشروع. توفر الأداة قدرات لتصور الكود المصدري، وإعداد تقارير الجودة الآلية، وتقييم قابلية الصيانة. تتضمن خط أنابيب تحليل ثابت يدعم تجميع المقاييس وتصفية الملفات عبر التعبيرات النمطية.
Runs a sequence of linting and complexity tools through a coordinated pipeline to produce unified datasets.
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
Orchestrates static analysis passes by chaining together graph construction, alias resolution, and data flow propagation.