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

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

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

Some good resources for getting started with application security

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

Parallel IDA Pro binary analysis with AI-powered function naming, Neo4j knowledge graph, and phantomrt emulation/hooking/fuzzing engine for automated…

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

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

Binary visualiser and triage tool — entropy, byte-class and Hilbert surfaces, dot plots and control-flow graphs over one shared address-space model.

Source code for the Binaries of OWASP WrongSecrets

POC of CVE-2021-42574 for solidity and solc compiler

Quickly find differences and similarities in disassembled code

Automated static analysis tools for binary programs

PowerShell Obfuscation Detection Framework

An ML powered Graph-Based Multi-Architecture Approach for ROP Gadget Detection

A vulnerable version of Rails that follows the OWASP Top 10

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

Hardening kernel C parsers via Rust rewrite + differential fuzzing + formal verification. First target: UVC (CVE-2024-53104).

Course materials for hackaday.io Ghidra training