smack

SMACK is both a modular software verification toolchain and a self-contained software verifier. It can be used to verify the assertions in its input programs. In its default mode, assertions are verified up to a given bound on loop iterations and recursion depth; it contains experimental support...

CVE-2022-3368

CVE-2022-3368 إثبات مفهوم PoC لثغرة نقل ملفات تعسفي في مكوّن تحديث البرامج في Avira Security. لدى المستخدمين خيار استخدام هذه الميزة لتحديث أي برنامج قديم على أجهزتهم، وعند استخدام هذه الميزة، تقوم خدمة Avira Security بإسقاط الملفات التي تم تنزيلها في c:\ProgramData\Avira\Security\Temp. أول ملف ي...

globaleaks-whistleblowing-software

GlobaLeaks هي برمجيات إبلاغ عن المخالفات مفتوحة المصدر ومجانية، تمكن أي شخص من إنشاء وصيانة منصة إ...

radare2

Radare2 : Framework libre de rétro-ingénierie pour les geeks Unix...

CVE-2022-24934

CVE-2022-24934 CVE-2022-24934...

squid

SQUID خادم وسيط للويب وسلة تخزين مؤقت http://www.squid-cache.org/ حقوق النشر C 1996-2026 مؤسسة برمجيات Squid والمساهمون يتم توزيع برنامج Squid بموجب ترخيص GPLv2+ ويتضمن مساهمات من العديد من الأفراد والمؤسسات. يرجى الاطلاع على ملفي COPYING و CONTRIBUTORS للحصول على التفاصيل. للدعم، يرجى استخدام...

Consent-O-Matic

Consent-O-Matic...

Software-Component-Verification-Standard

OWASP Software Component Verification Standard معيار التحقق من مكونات البرمجيات SCVS هو جهد مجتمعي لوضع إطار لتحديد الأنشطة والضوابط وأفضل الممارسات، والتي يمكن أن تساعد في تحديد وتقليل المخاطر في سلسلة توريد البرمجيات. تعد إدارة المخاطر في سلسلة توريد البرمجيات أمرًا مهمًا لتقليل مساحة سطح الأنظ...

HIDEAGEM

888 888 8888888 8888888b. 8888888888 d8888 .d8888b. 8888888888 888b d888 888 888 888 888 "Y88b 888 d88888 d88P Y88b 888 8888b d8888 888 888 888 888 888 888 d88P888 888 888 888 88888b.d88888 8888888888 888 888 888 8888888 d88P 888 888 8888888 888Y88888P888 888 888 888 888 888 888 d88P 888 888 8888...

singularity

Singularity of Origin Recent updates: NEW 2025-11-25 : Chrome release 142 added Local Network Access LNA, which prevents DNS rebinding attack techniques implemented in Singularity. Singularity of Origin's LNA-from-Non-Secure-Contexts branch implements support for Trial for Local Network Access fr...

hackrf

HackRF Ce dépôt contient les conceptions matérielles et les logiciels pour HackRF, une plateforme de radio logicielle open source et à faible coût. photo par fd0 depuis https://github.com/fd0/hackrf-one-pictures auteur principal : Michael Ossmann [email protected] Informations sur HackRF et...

greatfet

GreatFET يحتوي هذا المستودع على البرامج الثابتة firmware والبرمجيات الخاصة بـ GreatFET. معلومات حول GreatFET وشراء GreatFET: https://greatscottgadgets.com/greatfet/ التوثيق يمكن الاطلاع على توثيق GreatFET على Read the Docs. توجد ملفات التوثيق الخام لـ GreatFET في مجلد docs داخل هذا المستودع، ويمك...

AV_Kernel_Vulns

AVKernelVulns Pocs pour les vulnérabilités du noyau des logiciels antivirus trouvées par moi-même...

cornucopia

مشروع OWASP Cornucopia OWASP Cornucopia هو آلية على شكل لعبة ورق لمساعدة فرق تطوير البرمجيات على تحديد متطلبات الأمان في عمليات التطوير الرشيقة والتقليدية والرسمية. وهو مستقل عن اللغة والمنصة والتقنية. قم بزيارة: https://cornucopia.owasp.org/ تشير المراجع التبادلية في مجموعة إصدار تطبيق الويب إلى...

ApplicationInspector

Introduction Microsoft Application Inspector is a software source code characterization tool that helps identify coding features of first or third party software components based on well-known library/API calls and is helpful in security and non-security use cases. It uses hundreds of rules and...

uac

Unix-like Artifacts Collector UAC About • Documentation • Main Features • Supported Operating Systems • Usage • Contributing • Support • License 🔎 About UAC UAC Unix-like Artifacts Collector is a powerful and extensible incident response tool designed for forensic investigators, security analysts...

memguard

MemGuard Enclave logiciel pour le stockage d'informations sensibles en mémoire. Ce paquet tente de réduire la probabilité que des données sensibles soient exposées lorsqu'elles sont en mémoire. Il vise à prendre en charge tous les principaux systèmes d'exploitation et est écrit en Go pur...

FIASSE

إطار عمل لدمج أمن التطبيقات في هندسة البرمجيات FIASSE ملاحظة: هذا المستودع عمل مستمر. المساهمات مرحب بها! نظرة عامة باختصار: يرجى قراءة DOC. استكشف موقع FIASSE. قم بزيارة مناقشات GitHub للمساهمة. يحتوي هذا المستودع على موارد ومواد لإطار عمل OWASP لدمج أمن التطبيقات في هندسة البرمجيات FIASSE. يروّ...

kin

The diff is not the change. AI agents can write a change faster than a team can establish what it touches, whether it reverses an earlier fix, and how far its consequences reach. Git records files and line history. Kin records the software itself as a graph of entities, relations, changes, and...

CVE-2021-42667

CVE-2021-42667 CVE-2021-42667 - Vulnérabilité d'injection SQL dans le système de réservation et de réservation d'événements en ligne version 2.3.0. Description technique : Une vulnérabilité d'injection SQL existe dans le logiciel de gestion d'événements version 2.3.0. Un attaquant peut exploiter ...