#1Strumenti per l'esame di binari e codice malware senza eseguirli (es. disassemblatori, scompattatori).
Raccomandato da Kitploit

Framework di rilevamento malware Android basato su immagini che affronta offuscamento e concept drift. Include dataset curati e codice Python per…
Formalizzazione di np1sec usando Tamarin e altri FM (vedi https://github.com/equalitie/np1sec)

Estensione della GitHub CLI per eseguire "legitify"

Framework di apprendimento continuo senza memoria per la classificazione del malware tramite interpolazione basata sulla connettività di modi.…

Bug di parsing di file di Easy Grade Pro 4.1 utilizzato come esempio didattico per mostrare come i principianti possono iniziare la ricerca di…

cve-2024-38821

Overflow dello stack in LibXMP

Verifica le condizioni per sfruttare CVE-2021-23383 attraverso la valutazione della versione della libreria handlebars.

GitHub Action che analizza i file dei modelli ML alla ricerca di codice malevolo e vulnerabilità di sicurezza.

Estrattore di configurazione per Asyncrat/Dcrat/VenomRat

Analisi approfondita della vulnerabilità Use-After-Free (CVE-2025-21082) nel Media Framework AVCodec di Xiaomi HyperOS, simulazione in Rust e…

Revisione della sicurezza di CVE-2024-3094 (backdoor XZ Utils) inclusa modellazione delle minacce, analisi statica/dinamica del codice, fuzzing con…

Laboratorio di sfruttamento end-to-end per CVE-2025-5548 (stack buffer overflow del server FTP FreeFloat). Include analisi statica con IDA/Ghidra,…

Kit di riproduzione per CVE-2026-58138, una RCE non autenticata in Conductor. Include regole di analisi statica OpenTaint, test isolati, risultati…

Reproducer per CVE-2026-40048: deserializzazione non sicura del FileBasedKeyLifecycleManager di Apache Camel camel-pqc (RCE)

Header e librerie ufficiali dell'IDA Pro SDK per la creazione di plugin che disassemblano, decompilano e analizzano binari all'interno dell'ambiente…

Script Python che utilizza r2pipe per rilevare CVE-2017-13208 in Android libnetutils.so verificando la mancanza di validazione di dhcp_size tramite…

Checker basato su Python per CVE-2020-15227 che testa le applicazioni Nette per vulnerabilità di esecuzione remota di codice tramite vettori…