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

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

.NET deobfuscator and unpacker.

IDAPython tool for creating automatic C++ virtual tables in IDA Pro

Python Command-Line Ghidra Decompiler

Research runtime for differentiable neural computers, GPU-based CPU emulation, and program synthesis. Features neural ALU, constant-time crypto, JEPA…

Enable Microsoft PDB support in Ghidra without installing Visual Studio

Minimal ELF inspector written in C for quick binary layout inspection

Open source memory scanner written in C++

Runtime process analysis and memory hacking MCP server for AI agents. Supports dynamic extension loading, read-only mode, audit logging, and…

Cosa Nostra, a FOSS graph based malware clusterization toolkit.