llsoftsec / llsoftsecbookLinks
Low-Level Software Security for Compiler Developers
☆562Updated this week
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☆542Updated last year
- ☆624Updated 4 months ago
- BINSEC binary-level open-source platform☆365Updated 2 weeks 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…☆419Updated 3 months ago
- ☆405Updated last week
- A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…☆378Updated last year
- 📡🐧 Linux kernel syscall implementation tracker☆217Updated 4 months ago
- A powerful static binary rewriting tool☆1,038Updated 3 months ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆574Updated 3 months ago
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆480Updated 7 months ago
- Lightweight fuzzing of a memory snapshot using KVM☆458Updated last year
- GWPSan: Sampling-Based Sanitizer Framework☆324Updated last week
- ☆252Updated 2 years ago
- A fuzzer for full VM kernel/driver targets☆731Updated 3 weeks ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆320Updated 3 years ago
- SymCC: efficient compiler-based symbolic execution☆824Updated 2 months ago
- A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS☆307Updated this week
- A multi-arch assembly REPL and emulator for your command line.☆310Updated 7 months ago
- The first analysis framework for CPU microcode☆396Updated 2 years ago
- revng: the core repository of the rev.ng project☆1,516Updated this week
- Yet Another Random Program Generator☆522Updated last week
- anvill forges beautiful LLVM bitcode out of raw machine code☆352Updated 11 months ago
- easylkb - Easy Linux Kernel Builder☆348Updated last year
- ☆164Updated 7 months ago
- Kernel Address Space Layout Derandomization (KASLD) - A collection of various techniques to infer the Linux kernel base virtual address a…☆444Updated last year
- ☆426Updated 7 months ago
- A fast and accurate disassembler☆711Updated 3 weeks ago
- Security-related flags and options for C compilers☆193Updated 2 years ago
- libLISA: Instruction Discovery and Analysis on x86-64☆115Updated 5 months ago
- A custom ELF linker/loader for installing ET_REL binary patches at runtime☆169Updated this week