llsoftsec / llsoftsecbookLinks
Low-Level Software Security for Compiler Developers
☆559Updated this week
Alternatives and similar repositories for llsoftsecbook
Users that are interested in llsoftsecbook are comparing it to the libraries listed below
Sorting:
- ☆616Updated 2 months ago
- High-performance QEMU memory and instruction tracing☆542Updated 10 months ago
- A powerful static binary rewriting tool☆1,019Updated 2 months ago
- 📡🐧 Linux kernel syscall implementation tracker☆216Updated 2 months ago
- A lightweight dynamic instrumentation library☆1,259Updated 2 months ago
- revng: the core repository of the rev.ng project☆1,476Updated this week
- BINSEC binary-level open-source platform☆353Updated last week
- Lightweight fuzzing of a memory snapshot using KVM☆452Updated last year
- ☆426Updated 6 months ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆568Updated 2 months ago
- A fuzzer for full VM kernel/driver targets☆720Updated 2 weeks ago
- A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS☆304Updated last week
- A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…☆377Updated 11 months ago
- How to exploit a double free vulnerability in 2021. Use After Free for Dummies☆1,351Updated 4 months ago
- Library for lifting machine code to LLVM bitcode☆1,417Updated last month
- Rellic produces goto-free C output from LLVM bitcode☆561Updated last month
- ☆453Updated last week
- A fast and accurate disassembler☆706Updated this week
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆476Updated 6 months ago
- 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…☆420Updated 2 months ago
- easylkb - Easy Linux Kernel Builder☆346Updated 11 months ago
- ☆253Updated 2 years ago
- Kernel Address Space Layout Derandomization (KASLD) - A collection of various techniques to infer the Linux kernel base virtual address a…☆442Updated last year
- A multi-arch assembly REPL and emulator for your command line.☆309Updated 6 months ago
- The first analysis framework for CPU microcode☆394Updated 2 years ago
- Fully dockerized Linux kernel debugging environment☆751Updated 9 months ago
- ☆405Updated last week
- SymCC: efficient compiler-based symbolic execution☆817Updated last month
- Quarkslab conference talks☆298Updated last week
- ☆320Updated last year