A curated list of awesome symbolic execution resources including essential research papers, lectures, videos, and tools.

Security-oriented Go toolchain, focused on state-of-the-art fuzzing capabilities.

Extract acquisition and subsidiary information from SEC filings

✅ Generate validation logic for rust structs from protobuf annotations

UnSHc - How to decrypt SHc *.sh.x encrypted file ?

Master programming by recreating your favorite technologies from scratch.

Ghidra is a software reverse engineering (SRE) framework

Collection of extracted System Prompts from popular chatbots like ChatGPT, Claude & Gemini

eBPF implementation that runs on top of Windows

syzkaller is an unsupervised coverage-guided kernel fuzzer

Formally verified x86-64 decompilation

Workshop material for "fuzzing rehosted network services"

Tools for tracing OpenGL, Direct3D, and other graphics APIs

CLI that detects fake-star campaigns, dependency hijacks, licence red-flags and other signs of repository risk. Inspired by the “4.5 million fake stars” study, StarGuard helps CTOs, security teams …

Run macOS VM in a Docker! Run near native OSX-KVM in Docker! X11 Forwarding! CI/CD for OS X Security Research! Docker mac Containers.

Cheat Engine's lua encodeFunction decoder

Investigate malicious Windows logon by visualizing and analyzing Windows event log

Example Frida agent written in TypeScript

Go symbol recovery tool

Utilities to help injecting libraries and frida in apks.

KDMapper is a simple tool that exploits iqvw64e.sys Intel driver to manually map non-signed drivers in memory

Windows inside a Docker container.

Darwin/macOS emulation layer for Linux

A resource containing all the tools each ransomware gangs uses

rp++ is a fast C++ ROP gadget finder for PE/ELF/Mach-O x86/x64/ARM/ARM64 binaries.

Rust bindings to the System Informer's (formerly known as Process Hacker) "phnt" native Windows headers

A blazing fast™ multithreaded ROP Gadget finder. ropper / ropgadget alternative (currently x86 only)

Here we discuss how one can investigate crypto hacks and security incidents, and collect all the possible tools and manuals! PRs are welcome! If any tool is missing - please open PR!

Recover 64 bit ELF executables from memory dump

Open-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc