
openssl-fuzz
Finding CVE-2022-3786 (openssl) with Mayhem

Finding CVE-2022-3786 (openssl) with Mayhem

Firmware Analysis and Comparison Tool

Headless Binary Ninja MCP server — giving AI agents deep reverse-engineering capabilities via 180 tools.

Automated reasoning tool based on the SMACK verifier that detects SGX enclave bugs from trusted boundary violations, including invalid pointer…

Walk any memory dump. Find what's hidden. Linux + Windows kernel forensics from a single static Rust binary — no Python required.

Symbolic execution tool

Claude Code and Codex skill for finding potentially vulnerable Brotli copies and guiding updates for CVE-2026-111497.

MCP server for reverse engineering Windows executables and binary formats. Combines static triage, Ghidra-assisted function recovery, plugin-driven…

Static and dynamic analysis tool for detecting malicious code, suspicious binaries, and privacy violations

Headless AI agent for deterministic reverse engineering.

Some setup scripts for security research tools.

The system of action for AI-native cybersecurity—where intent becomes governed execution, evidence becomes operational memory, and every operation…

A collection of software installations scripts for Windows systems that allows you to easily setup and maintain a reverse engineering environment on…

The system of action for AI-native cybersecurity—where intent becomes governed execution, evidence becomes operational memory, and every operation…

Library for lifting machine code to LLVM bitcode

Minimalistic VT-x hypervisor for Windows x64 providing syscall, MSR, IDT, and kernel inline hooks plus EPT-based page substitution and TLB splitting.

A machine learning tool that ranks strings based on their relevance for malware analysis.

An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.