#1Strumenti per l'esame di binari e codice malware senza eseguirli (es. disassemblatori, scompattatori).
Raccomandato da Kitploit
z3prover/z3Solutore SMT ad alte prestazioni per dimostrazione automatica di teoremi, risoluzione di vincoli e verifica di programmi. Supporta molteplici teorie…
virustotal/yaraIl coltellino svizzero del pattern matching
capstone-engine/capstoneFramework di disassemblaggio multi-architettura che fornisce un'API leggera e thread-safe per l'analisi binaria, il reverse engineering e la ricerca…
anchore/grypeUno scanner di vulnerabilità per immagini container e filesystem
cure53/dompurifyDOMPurify - un sanitizer XSS DOM-only, super veloce, ultra-tollerante per HTML, MathML e SVG. DOMPurify funziona con impostazioni predefinite sicure,…
vercel-labs/deepsecScanner di vulnerabilità basato su agenti per codebase su larga scala. Utilizza LLM per individuare problemi di sicurezza difficili da rilevare…
pwndbg/pwndbgSviluppo di exploit e reverse engineering con GDB e LLDB resi facili
mrexodia/ida-pro-mcpAssistente di reverse engineering basato su IA che collega IDA Pro con modelli linguistici tramite MCP.
konloch/bytecode-viewerUna suite di reverse engineering per Jar Java 8+ e APK Android (Decompilatore, Editor, Debugger e altro)
quay/clairAnalisi statica delle vulnerabilità per i container
angr/angrUna potente e intuitiva piattaforma di analisi binaria!
sonarsource/sonarqubePiattaforma di qualità del codice e analisi statica con quality gate, scansione multi-linguaggio e regole incentrate sulla sicurezza per rilevare…
horsicq/detect-it-easyProgramma per determinare i tipi di file per Windows, Linux e MacOS.
bridgecrewio/checkovStrumento di analisi statica per infrastruttura come codice che rileva configurazioni errate del cloud, vulnerabilità e segreti attraverso Terraform,…
anchore/syftStrumento CLI e libreria per generare un Software Bill of Materials da immagini container e filesystem
anthropics/defending-code-reference-harnessCompetenze per la modellazione delle minacce, la scansione, il triage, il patching, più un harness di scansione autonomo che puoi /customize
presidentbeef/brakemanUno scanner di vulnerabilità di sicurezza tramite analisi statica per applicazioni Ruby on Rails
dnspyex/dnspyRipresa non ufficiale del noto debugger .NET e editor di assembly, dnSpy
