
z3
حل SMT عالي الأداء للبرهان الآلي للنظريات، وحل القيود، والتحقق من البرامج. يدعم نظريات متعددة وربطات لغوية للتحليل الرسمي.

حل SMT عالي الأداء للبرهان الآلي للنظريات، وحل القيود، والتحقق من البرامج. يدعم نظريات متعددة وربطات لغوية للتحليل الرسمي.

أداة تحليل ثابتة تركز على الأمان لتطبيقات Android و Java.

Security scanner for AI agent skills. Detect vulnerabilities, malicious patterns, security risks, prompt injection, data exfiltration, and…

Fast, developer-friendly JS/TS dependency vulnerability scanner with local lockfile scanning, OSV matching, direct vs transitive visibility, --fix,…

أداة تحليل ثابت للبنية التحتية كرمز (IaC) تكتشف سوء التهيئة السحابية، الثغرات الأمنية، والأسرار عبر Terraform وKubernetes وCloudFormation وصور…

تشفير Rust بدون أي تبعيات افتراضية: BLAKE3، Ed25519/X25519، تجزئات، MACs، KDFs، AEADs، ومجاميع فحص مع تسريع كامل عبر SIMD/ASM

فورك من JSONPath من http://goessner.net/articles/JsonPath/

برنامج لتحديد أنواع الملفات لأنظمة ويندوز ولينكس وماك.

🔍 محرر سداسي عشر لمهندسي الهندسة العكسية، والمبرمجين، والأشخاص الذين يهتمون بشبكية أعينهم أثناء العمل في الساعة 3 صباحًا.


أداة فحص قابلة للتوصيل لمنع ارتكاب بيانات الاعتماد.

خادم بروتوكول السياق النموذجي لاكتشاف الثغرات الذاتي

The system of record for AI-written software. A persistent graph of entities, relationships, changes, and provenance, so humans and AI agents see…

تحليل ديناميكي وثابت مع تحليل البرامج الضارة في الوقت الفعلي باستخدام برنامج مكافحة الفيروسات لنظام ويندوز، بما في ذلك XDR مفتوح المصدر (3 مشاريع…

pefile هي وحدة Python لقراءة ملفات PE (القابلة للتنفيذ المحمولة) والعمل معها.

حزمة TypeScript توفر وكلاء مدعومين بالذكاء الاصطناعي لمهام أمن التطبيقات (AppSec)، مبنية على أحدث النماذج.

كشف التهديدات في سلسلة التوريد لـ npm/PyPI في الوقت الفعلي. تحليل السلاسل السلوكية، مسح AST، تغذية مؤشرات الاختراق (IOC)، ومحرك تسجيل مركب.

مهارات Claude Code من Trail of Bits للبحث الأمني، اكتشاف الثغرات، وسير عمل التدقيق