GJDuck / BlueFat
Fully Randomized Pointers
☆17Updated 10 months ago
Alternatives and similar repositories for BlueFat:
Users that are interested in BlueFat are comparing it to the libraries listed below
- JIT-accelerated RISC-V instruction set simulator☆33Updated last year
- Fuzzing tutorial with easy-to-learn labs 🚀☆160Updated 2 years ago
- raid is a GDB-like tiny debugger which is based on ptrace.☆13Updated 2 years ago
- Minimal tool for measuring cost of mode switch☆15Updated 3 years ago
- Advanced Programming in the UNIX Environment at NCTU☆18Updated 5 years ago
- BinRec: Dynamic Binary Lifting and Recompilation☆130Updated last year
- The exploit generator CRAX++ is CRAX with a plugin system, s2e 2.0 upgrade, dynamic ROP, code selection, and I/O states (HITCON 2022)☆101Updated 2 years ago
- Repository for a library focused on binary analysis (mainly for Java related bytecodes)☆41Updated this week
- Use k-means improve seed selection.☆13Updated 4 years ago
- A symbolic execution engine for LLVM IR☆51Updated 2 years ago
- Effective System Call Aggregation☆38Updated 2 years ago
- Explore a live Linux kernel's memory using GDB☆114Updated 2 years ago
- Restoration of The Linux Scheduler Simulator (LinSched)☆17Updated 3 years ago
- Uncovering Container Confusion in the Linux Kernel☆43Updated last year
- 🔮 A UNIX-like toy kernel built from scratch which runs on a real rpi3b+, with preemptive multithreading, CoW fork(), VM, VFS, FAT32☆77Updated 2 years ago
- Static Analyser for C☆115Updated last week
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆27Updated 2 years ago
- Access Arm64 CPU system registers☆84Updated last month
- Linux kernel module implementation & exploitation (pwn) labs.☆191Updated 3 years ago
- Kernel-Mode-Linux☆24Updated 2 years ago
- Some experiments with SMT solvers and GIMPLE IR☆73Updated this week
- ☆59Updated 11 months ago
- Program for converting C preprocessor usage to C constructs☆12Updated 2 years ago
- An implementation of the GDB Remote Serial Protocol to help you adding debug mode on emulator☆66Updated last week
- This fork of QEMU enables fuzzing userspace ELF binaries under AFL++.☆83Updated 2 months ago
- VirtFuzz is a Linux Kernel Fuzzer that uses VirtIO to provide inputs into the kernels subsystem. It is built with LibAFL.☆119Updated 10 months ago
- HardsHeap: A Universal and Extensible Framework for Evaluating Secure Allocators☆34Updated 3 years ago
- libLISA: Instruction Discovery and Analysis on x86-64☆112Updated last month
- Damn Vulenerable Kernel Module for kernel fuzzing☆58Updated 5 months ago
- A minimalist type 2 hypervisor using Linux Kernel Virtual Machine (KVM)☆165Updated 3 months ago