स्थैतिक विश्लेषण

tamarin-prover/tamarin-prover

बहु-समुच्चय पुनर्लेखन और बाधा समाधान का उपयोग करके सुरक्षा प्रोटोकॉल के लिए प्रतीकात्मक सत्यापन उपकरण, जो गोपनीयता, प्रमाणीकरण और तुल्यता गुणों को…

ashishb/android-security-awesome

A collection of android security related resources

anchore/grype

कंटेनर इमेज और फाइलसिस्टम के लिए एक भेद्यता स्कैनर

mandiant/flare-floss

FLARE Obfuscated String Solver - मैलवेयर से अस्पष्ट स्ट्रिंग्स को स्वचालित रूप से निकालें।

angr/pyvex

Valgrind के VEX IR के लिए Python बाइंडिंग्स।

anchore/syft

कंटेनर इमेज और फ़ाइल सिस्टम से सॉफ़्टवेयर बिल ऑफ़ मटेरियल्स उत्पन्न करने के लिए CLI उपकरण और लाइब्रेरी

icsharpcode/ilspy

.NET Decompiler PDB generation, ReadyToRun, Metadata (&more) के लिए समर्थन के साथ - क्रॉस-प्लेटफ़ॉर्म!

owasp-noir/noir

Hunt every Endpoint in your code, expose Shadow APIs, map the Attack Surface.

indalok/rzweb

A complete browser-based reverse engineering platform built on Rizin, running entirely client-side via WebAssembly.

cisco-ai-defense/defenseclaw

Security Governance for Agentic AI

nationalsecurityagency/ghidra

Ghidra एक सॉफ्टवेयर रिवर्स इंजीनियरिंग (SRE) फ्रेमवर्क है।

neurosaki987/tvm-recover

Tencent VM .tvm0 सेक्शन्स को डीवर्चुअलाइज़ करता है: VM हैंडलर्स को गेस्ट-लेवल लिस्टिंग्स और LLVM IR में लिफ्ट करता है, CFG और डिस्पैच को रिकवर करता…

pmd/pmd

एक विस्तार योग्य बहुभाषी स्थैतिक कोड विश्लेषक।

dmdhrumilmistry/security-harness

AI कोडिंग एजेंट्स के लिए मल्टी-एजेंट स्टैटिक एप्लिकेशन-सुरक्षा समीक्षा हार्नेस: कोडबेस को मैप करता है, भेद्यता वर्गों की खोज करता है, निष्कर्षों को…

sonarsource/sonarqube

कोड-गुणवत्ता और स्थैतिक-विश्लेषण प्लेटफ़ॉर्म जिसमें क्वालिटी गेट्स, बहु-भाषा स्कैनिंग और सुरक्षा-केंद्रित नियम शामिल हैं, ताकि CI/CD वर्कफ़्लो में…

qkaiser/broadcom-wps

Broadcom SDK चलाने वाले WiFi एक्सेस पॉइंट्स की फिंगरप्रिंटिंग करने और ज्ञात प्रभावित डिवाइसों की सूची के लिए टूल्स।