GJDuck / BlueFatLinks
Fully Randomized Pointers
☆19Updated 2 months ago
Alternatives and similar repositories for BlueFat
Users that are interested in BlueFat are comparing it to the libraries listed below
Sorting:
- Explore a live Linux kernel's memory using GDB☆116Updated 2 years ago
- A minimalist type 2 hypervisor using Linux Kernel Virtual Machine (KVM)☆173Updated 7 months ago
- ☆164Updated 7 months ago
- ☆56Updated last year
- 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☆28Updated 2 years ago
- This is a tutorial on how to write an LLVM Pass using the (kind-of) new PassManager. It is compiled from different sources referenced in …☆56Updated 6 years ago
- ☆17Updated 8 months ago
- BinRec: Dynamic Binary Lifting and Recompilation☆140Updated last year
- TikTag: Breaking ARM's Memory Tagging Extension with Speculative Execution (IEEE S&P 2025)☆78Updated 8 months ago
- Student Starter Code for Secure Hardware Design at MIT☆77Updated last year
- Revizor - a fuzzer to search for microarchitectural leaks in CPUs☆159Updated last week
- Access Arm64 CPU system registers☆99Updated 2 months ago
- A high performance LLVM-based dynamic binary instrumentation framework☆271Updated last year
- Proof-of-concept for the GhostWrite CPU bug.☆115Updated last year
- ☆70Updated last year
- 🔮 A UNIX-like toy kernel for RPi3B+ (NYCU OSDI, Spring 2021)☆79Updated 2 years ago
- ☆52Updated 3 years ago
- Kasper: Scanning for Generalized Transient Execution Gadgets in the Linux Kernel☆58Updated last year
- 📡🐧 Linux kernel syscall implementation tracker☆217Updated 4 months ago
- Static Analyser for C☆126Updated last month
- InSpectre Gadget: in-depth inspection and exploitability analysis of Spectre disclosure gadgets☆54Updated 4 months ago
- A Hybrid Alias Analysis☆19Updated 2 years ago
- Repository for a library focused on binary analysis (mainly for Java related bytecodes)☆44Updated last week
- JIT-accelerated RISC-V instruction set simulator☆35Updated last year
- ☆39Updated 2 years ago
- VirtFuzz is a Linux Kernel Fuzzer that uses VirtIO to provide inputs into the kernels subsystem. It is built with LibAFL.☆125Updated last year
- GEP (GDB Enhanced Prompt) - a GDB plug-in to enhance your GDB with fzf history search, fzf tab auto-completion, fish-like autosuggestions…☆121Updated 2 months ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆50Updated 2 months ago
- CVEs for the Rust standard library☆54Updated 3 years ago
- The SAILR paper's evaluation pipline for measuring the quality of decompilation☆113Updated 8 months ago