
iocx
An extensible, deterministic static‑analysis engine that extracts high‑signal IOCs from PE binaries and text, built for SOC automation and modern…

An extensible, deterministic static‑analysis engine that extracts high‑signal IOCs from PE binaries and text, built for SOC automation and modern…

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

Binary code static analyser, with IDA integration. Performs value and taint analysis, type reconstruction, use-after-free and double-free detection

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

Skills for threat modeling, scanning, triage, patching, plus an autonomous scanning harness you can /customize

A static analysis security vulnerability scanner for Ruby on Rails applications

Trail of Bits Claude Code skills for security research, vulnerability detection, and audit workflows

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

FLARE Obfuscated String Solver - Automatically extract obfuscated strings from malware.

bluemonday: a fast golang HTML sanitizer (inspired by the OWASP Java HTML Sanitizer) to scrub user generated content of XSS

Git hook-based secret scanner that detects tokens, passwords, and private keys in outgoing changesets, preventing sensitive data from being committed…

All-in-One malware analysis tool.

Extract URLs, paths, secrets, and other interesting bits from JavaScript


An easy-to-learn/use static analysis framework for Java and Android

Open-source AI reverse-engineering agent using Ghidra and LLMs to reconstruct and validate C/C++ functions from binaries.

Python decompiler for 3.7-3.8 Stripped down from uncompyle6 so we can refactor and start to fix up some long-standing problems