llsoftsec / llsoftsecbook
Low-Level Software Security for Compiler Developers
☆527Updated 4 months ago
Related projects ⓘ
Alternatives and complementary repositories for llsoftsecbook
- High-performance QEMU memory and instruction tracing☆527Updated 3 months ago
- ☆544Updated 2 months ago
- A powerful static binary rewriting tool☆983Updated 3 months ago
- ☆395Updated this week
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆533Updated 2 months ago
- A multi-arch assembly REPL and emulator for your command line.☆305Updated last year
- VAST is an experimental compiler pipeline designed for program analysis of C and C++. It provides a tower of IRs as MLIR dialects to choo…☆396Updated this week
- The first analysis framework for CPU microcode☆373Updated last year
- A blazing fast™ multithreaded ROP Gadget finder. ropper / ropgadget alternative☆475Updated last month
- Security-related flags and options for C compilers☆185Updated 2 years ago
- ☆256Updated last year
- revng: the core repository of the rev.ng project☆1,317Updated this week
- Quarkslab conference talks☆275Updated this week
- A fast and accurate disassembler☆662Updated last week
- A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS☆276Updated last week
- A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…☆363Updated 4 months ago
- A fuzzer for full VM kernel/driver targets☆659Updated 2 months ago
- ☆430Updated last week
- SymCC: efficient compiler-based symbolic execution☆789Updated 4 months ago
- A lightweight dynamic instrumentation library☆1,182Updated 3 weeks ago
- GWPSan: Sampling-Based Sanitizer Framework☆307Updated this week
- easylkb - Easy Linux Kernel Builder☆331Updated 4 months ago
- Kernel Address Space Layout Derandomization (KASLD) - A collection of various techniques to infer the Linux kernel base virtual address a…☆420Updated 7 months ago
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆451Updated 3 weeks ago
- ☆427Updated 3 months ago
- ☆143Updated 5 months ago
- Rellic produces goto-free C output from LLVM bitcode☆537Updated 2 months ago
- 📡🐧 Linux kernel syscall implementation tracker☆197Updated this week
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆315Updated 2 years ago
- A plugin to introduce interactive symbols into your debugger from your decompiler☆619Updated 2 months ago