
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…

Multi-architecture disassembly framework providing a lightweight, thread-safe API for binary analysis, reverse engineering, and malware research…

🛡️ Scan and assess vulnerabilities in Next.js/Waku with the CVE-2025-55182-Scanner, combining static and dynamic analysis for robust security.

LLM-agent-powered concolic execution engine that instruments source code, summarizes path constraints in natural language, and generates test cases…

An extensible multilanguage static code analyzer.

Dynamic and static analysis with Real Time Malware Analysis with Antivirus for Windows, including open-source XDR (3 EDR projects), ClamAV, YARA-X,…

Write tests against structured configuration data using the Open Policy Agent Rego query language

High-performance SMT solver for automated theorem proving, constraint solving, and program verification. Supports multiple theories and language…

B2R2 is a fully managed binary analysis framework written in F#. It provides a rich set of algorithms, functions, and tools for reverse engineering,…

Takes third-party HTML and produces HTML that is safe to embed in your web application. Fast and easy to configure.

Decompiles Android APK/XAPK/JAR/AAR files and extracts HTTP APIs, authentication patterns, and call flows using jadx, with R8-resistant Kotlin name…

Security-oriented Go toolchain, focused on state-of-the-art fuzzing capabilities.

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

Security scanner for AI/ML model files. Detects malicious code, backdoors, and vulnerabilities before deployment

.NET Decompiler with support for PDB generation, ReadyToRun, Metadata (&more) - cross-platform!

Program for determining types of files for Windows, Linux and MacOS.

Autonomous white-hat security auditor for AI-driven code review, bug bounty research, exploit construction, and execution-grounded verification.

AI-powered Docker security scanner that explains vulnerabilities in plain English. An OWASP Lab Project.