
cdxgen
Creates CycloneDX Bill of Materials (BOM) for your projects from source and container images. Supports many languages and package managers. Integrate…

Creates CycloneDX Bill of Materials (BOM) for your projects from source and container images. Supports many languages and package managers. Integrate…

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

CLI tool and library for generating a Software Bill of Materials from container images and filesystems

The reverse-engineering expert agent: plans its own analysis path, derives every fact from raw evidence, and converges under mechanical verification…

Reverse engineer anything with agents, from app behavior down to native binaries.

Desktop GUI for the REA reverse engineering MCP: code browser with listing, decompiler and function graph, plus 229 analysis tools and an AI agent in…

T3 Code 61c3794c supply-chain leftover. Updater verifies SHA256SUMS from the same origin as the archive. No signature. Loopback lab.

A fork of JSONPath from http://goessner.net/articles/JsonPath/

Quokka: A Fast and Accurate Binary Exporter

Decompiler from Java bytecode to Java, used in IntelliJ IDEA.

Pure-Go Java Decompiler and Serialization Operator

Static deobfuscation toolkit for compiled V8 JavaScript bytecode, focusing on JSCeal payloads. Provides pattern-driven filters, control-flow…

Command-line and GUI tool for decompiling Android Dex and APK files into readable Java source code, with resource decoding, deobfuscation, and Smali…


Decompile and disassemble Python bytecode (.pyc/.pyo) back to readable source. Supports Python 2.0 - 3.15 (CPython, PyPy and other implementations).…

Django application that performs SAST and Malware Analysis for Android APKs

A native APK and DEX decompiler written in Rust

Rust detector and local lab for CVE-2026-98432, a Linux IPv4 TCP use-after-free in inet_opt/ireq_opt: static ELF analysis, kprobe reachability…