Stars
A fast and powerful gadget finder and ROP chain generator. A research prototype for the ropbot paper accepted at NDSS'26.
Kernel Address Space Layout Derandomization (KASLD) - A collection of various techniques to infer the Linux kernel base virtual address as an unprivileged local user, for the purpose of bypassing K…
A command line interface for rendering and animating 3D objects
Self-hostable instant messaging server compatible with classic AIM and ICQ clients written in golang. (Independently developed, not affiliated with or endorsed by AOL)
Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...
Static Value-Flow Analysis Framework for Source Code
a tool for reinterpreting ELF executables and shared libraries
eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
CTF Archives: Collection of CTF Challenges.
Patch Linux executables for compatibility with older glibc
Recognize cpu instructions in an arbitrary binary file
Git Source Code Mirror - This is a publish-only repository but pull requests can be turned into patches to the mailing list via GitGitGadget (https://gitgitgadget.github.io/). Please follow Documen…
find relevant security papers published in the top-4 conferences (S&P, USENIX, CCS, NDSS)
a library that implements a POSIX style filesystem on top of an SQLite database
Recent symbolic execution papers and tools.
Quickly find differences and similarities in disassembled code
Demonstration of various hardware effects.
Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs
The first analysis framework for CPU microcode