llsoftsec / llsoftsecbookLinks
Low-Level Software Security for Compiler Developers
☆596Updated last month
Alternatives and similar repositories for llsoftsecbook
Users that are interested in llsoftsecbook are comparing it to the libraries listed below
Sorting:
- High-performance QEMU memory and instruction tracing☆549Updated 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…☆429Updated 3 weeks ago
- ☆415Updated 3 weeks ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆586Updated 9 months ago
- ☆659Updated 9 months ago
- BINSEC binary-level open-source platform☆386Updated 5 months ago
- A powerful static binary rewriting tool☆1,075Updated 2 weeks ago
- SymCC: efficient compiler-based symbolic execution☆854Updated 7 months ago
- A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…☆385Updated 3 weeks ago
- A fuzzer for full VM kernel/driver targets☆765Updated this week
- A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS☆324Updated 3 weeks ago
- Lightweight fuzzing of a memory snapshot using KVM☆462Updated last year
- ☆253Updated 2 years ago
- GWPSan: Sampling-Based Sanitizer Framework☆329Updated 3 weeks ago
- 📡🐧 Linux kernel syscall implementation tracker☆241Updated 3 months ago
- The first analysis framework for CPU microcode☆413Updated 2 years ago
- How to exploit a double free vulnerability in 2021. Use After Free for Dummies☆1,377Updated 11 months ago
- ☆170Updated last year
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆507Updated this week
- Security-related flags and options for C compilers☆198Updated 3 years ago
- Fully dockerized Linux kernel debugging environment☆771Updated last year
- A fast and accurate disassembler☆733Updated last month
- Kernel Address Space Layout Derandomization (KASLD) - A collection of various techniques to infer the Linux kernel base virtual address a…☆464Updated last year
- A multi-arch assembly REPL and emulator for your command line.☆309Updated last year
- easylkb - Easy Linux Kernel Builder☆377Updated last year
- ☆470Updated 2 months ago
- Fuzz Introspector -- introspect, extend and optimise fuzzers☆442Updated 2 weeks ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆363Updated last year
- A lightweight dynamic instrumentation library☆1,296Updated 9 months ago
- The fastest Intel-PT decoder for fuzzing☆376Updated last year