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

A collection of links related to Linux kernel security and exploitation

A language for Geometry Dash triggers

Abseil Common Libraries (C++)

nsync is a C library that exports various synchronization primitives, such as mutexes

Create a mobile Balatro app from your Steam version of Balatro

Redshift adjusts the color temperature of your screen according to your surroundings. This may help your eyes hurt less if you are working in front of the screen at night.

A simple XPWN & kloader wrapper written in VB.NET

An all-in-one tool to restore/downgrade, save SHSH blobs, and jailbreak legacy iOS devices

pongoOS

A high-performance, zero-overhead, extensible Python compiler using LLVM

Tutorials, examples, discussions, research proposals, and other resources related to fuzzing

A de-minifier (formatter, exploder, beautifier) for shell one-liners

A Lua parser and AST builder written in Python.

A Lisp interpreter written fully in rust macros.

A high performance Python graph library implemented in Rust.

Docker images for compiling static Rust binaries using musl-cross

A lossless Lua 5.1 parser

🦀 How to minimize Rust binary size 📦

Utility library for analysis of Control Flow Graphs, home to the Basque CFGED algorithm.

A plugin to introduce interactive symbols into your debugger from your decompiler

Tentative to exploit Lua 5.2

A Lua 5.3 parser written with LPegLabel

A tool for reverse engineering Android apk files

Linux Kernel hooking engine (x86)

LKM Linux rootkit

Publications from Trail of Bits