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

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

Framework di reverse engineering e set di strumenti da riga di comando in stile UNIX

Analisi dinamica e statica con analisi malware in tempo reale con Antivirus per Windows, inclusi XDR open-source (3 progetti EDR), ClamAV, YARA-X,…

Strumento di analisi statica per infrastruttura come codice che rileva configurazioni errate del cloud, vulnerabilità e segreti attraverso Terraform,…

Cripto Rust con zero dipendenze predefinite: BLAKE3, Ed25519/X25519, hash, MAC, KDF, AEAD e checksum con piena accelerazione SIMD/ASM

Competenze Claude Code di Trail of Bits per ricerca sulla sicurezza, rilevamento delle vulnerabilità e flussi di lavoro di audit

Motore formale di analisi della contaminazione inter-procedurale per la sicurezza delle applicazioni. Tiene traccia dei dati non affidabili…

B2R2 è un framework di analisi binaria completamente gestito scritto in F#. Fornisce un ricco insieme di algoritmi, funzioni e strumenti per il…

Plugin e loader per IDA per l'analisi del firmware UEFI e l'automazione del reverse engineering

Solutore SMT ad alte prestazioni per dimostrazione automatica di teoremi, risoluzione di vincoli e verifica di programmi. Supporta molteplici teorie…

Un analizzatore statico di codice multilingua estensibile.

🔍 Un editor esadecimale per reverse engineer, programmatori e persone che tengono alle proprie retine quando lavorano alle 3 di notte.

Plugin di auto-ri-denominazione per IDA PRO con supporto per tagging

Una potente e intuitiva piattaforma di analisi binaria!

Un pacchetto TypeScript che fornisce agenti basati sull'IA per attività di Sicurezza delle Applicazioni (AppSec), costruito sopra i modelli…

Analizzatore statico per snapshot AOT Flutter/Dart — recupera i nomi delle funzioni, le gerarchie delle classi, i grafi di chiamata e i segnali…

FLARE Obfuscated String Solver - Estrae automaticamente stringhe offuscate da malware.

Strumento da riga di comando e GUI per decompilare file Android Dex e APK in codice sorgente Java leggibile, con decodifica delle risorse,…