CLI tool and Ghidra plug-in for analyzing binaries using under-constrained symbolic execution

This is the latest version of the internal repository from Pebble Technology providing the software to run on Pebble watches. Proprietary source code has been removed from this repository and it wi…

A collaborative note taking, wiki and documentation platform that scales. Built with Django and React. Opensource alternative to Notion or Outline.

A package manager for the Luau programming language, supporting multiple runtimes including Roblox and Lune

Assembler toolkit: encoding and decoding of various architectures

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

Myst IV: Revolution

A Storage Primitive Designed for Live Migration

Delta debugging (originally for JIT compilers)

Generic model checker for concurrent C programs (mirror repository)

Lift machine code to performant LLVM IR

a tool for reinterpreting ELF executables and shared libraries

A VM That is Dynamic and Fast

Patchestry is a binary patching framework built with MLIR and Ghidra.

The Feldera Incremental Computation Engine

Wasm Analysis Framework For Lightweight Experiments

🦀 How to minimize Rust binary size 📦

Cargo subcommand to build a crate into shellcode

A Simple showcase for the Sea-of-Nodes compiler IR

Small library allowing to use dlopen() from statically-linked applications (where statically-linked executable vs loaded shared library may use completely different libc's)

Fil-C

LFI: Practical, Efficient, and Secure Software-based Sandboxing

Pair your compilers up at The ABI Cafe!

A port of Sebastian Aaltonen's `OffsetAllocator` to Rust

A reverse engineer's checksum toolbox

"Randar" is an exploit for Minecraft which uses LLL lattice reduction to crack the internal state of an incorrectly reused java.util.Random in the Minecraft server, then works backwards from that t…