2 مستودعات
Inspection of attributes and arguments within module invocations to detect configuration errors.
Distinct from Module Dependency Analysis: Analyzes the arguments passed to module calls rather than the dependency graph or circular imports.
Explore 2 awesome GitHub repositories matching software engineering & architecture · Module Call Analysis. Refine with filters or upvote what's useful.
TFLint هو أداة تحليل ثابت ومصادق للبنية التحتية ككود مصمم لتحديد الأخطاء وفرض أفضل الممارسات داخل ملفات تكوين Terraform. يعمل كبوابة جودة لسير العمل الآلي وخادم لغة يوفر تشخيصات في الوقت الفعلي وأخطاء فحص (linting) مباشرة داخل محررات النصوص المدعومة. يستخدم المشروع إطار عمل مكون إضافي gRPC يسمح بدمج قواعد التحقق الخاصة بالمزود المخصص عبر ثنائيات مستقلة وSDK مخصص. تفصل هذه المعمارية منطق الفحص الأساسي عن التحقق الخاص بالسحابة، مما يدعم التثبيت الآلي لمجموعات القواعد الخارجية للتحقق من خصائص الموارد مقابل المواصفات الرسمية. يحلل محرك التحليل قيم التكوين ويقيم الدوال المدمجة، ويوسع الكتل الديناميكية ومجموعات الموارد لفحص الهيكل النهائي الذي تم إنشاؤه. يغطي فرض معايير الترميز، وتحليل استدعاء الوحدة، واكتشاف سمات الموارد غير الصالحة، مع القدرة على تصدير النتائج المهيكلة بصيغ مثل SARIF. تتضمن الأداة واجهة سطر أوامر لتصفية أهداف التحليل وتوفر تصحيحاً آلياً للمشكلات للقواعد المدعومة.
Inspects attributes within local and remote module calls to identify issues originating from module configurations.
This project is a comprehensive Android reverse engineering suite that functions as a decompiler, bytecode deobfuscator, and malware analysis tool. It is designed to convert APK, DEX, and OAT binaries into human-readable source code using a native implementation that does not require a Java Virtual Machine. The platform is distinguished by its integration with Frida for dynamic analysis, allowing users to hook methods, inject custom JavaScript, and dump device memory in real time. It also features specialized security engines, including a taint propagation engine and a stack-state machine, to
Traces callers of specific functions to identify insecure implementation patterns in the function bodies.