Advanced Fuzzing Library - Slot your Fuzzer together in Rust! Scales across cores and machines. For Windows, Android, MacOS, Linux, no_std, ...

Administrator : [email protected]

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.

A hacky tool for analysing linux kernel commits

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

📡🐧 Linux kernel syscall implementation tracker

The first analysis framework for CPU microcode

tiniest x86-64-linux emulator

A little bit about a linux kernel

🍪 A full-featured, hackable tiling window manager written and configured in Python (X11 + Wayland)

pwninit - automate starting binary exploit challenges

Neovim KISS configuration with Lua

A collection of links related to Linux kernel security and exploitation

The best tool for finding one gadget RCE in libc.so.6

A powerful and user-friendly binary analysis platform!