
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…

UNIX-ähnliches Reverse-Engineering-Framework und Kommandozeilen-Toolset

Dynamische und statische Analyse mit Echtzeit-Malware-Analyse mit Antivirus für Windows, einschließlich Open-Source XDR (3 EDR Projekte), ClamAV,…

Statisches Analysetool für Infrastructure as Code, das Cloud-Fehlkonfigurationen, Schwachstellen und Geheimnisse in Terraform, Kubernetes,…

Trail of Bits Claude Code-Fähigkeiten für Sicherheitsforschung, Schwachstellenerkennung und Audit-Workflows

Formale interprozedurale Taint-Analyse-Engine für Anwendungssicherheit. Verfolgt unvertraute Daten über Funktionsgrenzen, Persistenzschichten und…

B2R2 ist ein vollständig verwaltetes Binäranalyse-Framework, geschrieben in F#. Es bietet eine umfangreiche Sammlung von Algorithmen, Funktionen und…

IDA-Plugin und Lader für die Analyse von UEFI-Firmware und die Automatisierung von Reverse Engineering

Hochleistungs-SMT-Löser für automatisiertes Theorembeweisen, Constraint-Lösen und Programmverifikation. Unterstützt mehrere Theorien und…

Ein erweiterbarer mehrsprachiger statischer Code-Analyzer.

🔍 Ein Hex-Editor für Reverse Engineers, Programmierer und alle, die ihre Netzhaut schätzen, wenn sie um 3 Uhr morgens arbeiten.

IDA PRO Auto-Umbenennungs-Plugin mit Tagging-Unterstützung

Eine leistungsstarke und benutzerfreundliche Binäranalyse-Plattform!

Ein TypeScript-Paket, das KI-gestützte Agenten für Aufgaben der Anwendungssicherheit (AppSec) bereitstellt, aufbauend auf den führenden Modellen.

Statischer Analysator für Flutter/Dart-AOT-Snapshots — rekonstruiert Funktionsnamen, Klassenhierarchien, Aufrufgraphen und Verhaltenssignale aus…

FLARE Obfuscated String Solver - Automatisch verschleierte Zeichenketten aus Malware extrahieren.

Rust crypto w/ zero default deps: BLAKE3, Ed25519/X25519, hashes, MACs, KDFs, AEADs, and checksums w/ full SIMD/ASM acceleration

Kommandozeilen- und GUI-Tool zum Dekompilieren von Android-Dex- und APK-Dateien in lesbaren Java-Quellcode, mit Ressourcendekodierung, Entschleierung…