
angr
A powerful and user-friendly binary analysis platform!

A powerful and user-friendly binary analysis platform!

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

An open-source user mode debugger for Windows. Optimized for reverse engineering and malware analysis.

Framework-aware static code analysis tool for automated source code review with platform-specific rules, taint analysis, effort estimation, and…

Source code for the Binaries of OWASP WrongSecrets

OWASP Certified Secure-Software Developer

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

Using Struts2 and PowerShell to recreate CVE-2017-5638 OGNL Injection vulnerability.


Agentic reverse engineering IDE with a pure-Rust multi-architecture disassembler, native decompiler, debugger, and LLM agent for binary analysis and…

A JavaScript Obfuscator based on Cryptographic Indistinguishability Obfuscation techniques

Exploit Development and Reverse Engineering with GDB & LLDB Made Easy

Quickly find differences and similarities in disassembled code

Audit harness testing whether the CVE-2026-0994 Any-unwrapping recursion bug class affects upb's C core in Ruby and PHP protobuf bindings, with…

Symbolic verification tool for security protocols using multiset rewriting and constraint solving to prove secrecy, authentication, and equivalence…

Reproducible vulnerable and fixed GitHub Actions fixtures for agentic workflow injection (CVE-2026-44246), with measured detector coverage and…

Static analysis of 2 malicious Office documents on REMnux using oletools; identified CVE-2017-11882 and obfuscated macros.

Standalone reproducer for CVE-2026-90781: 1-byte OOB write in alsa-lib __snd_ctl_ascii_elem_id_parse() name= parsing (quoted and unquoted)