llsoftsec / llsoftsecbookLinks
Low-Level Software Security for Compiler Developers
☆558Updated last month
Alternatives and similar repositories for llsoftsecbook
Users that are interested in llsoftsecbook are comparing it to the libraries listed below
Sorting:
- ☆611Updated 2 months ago
- High-performance QEMU memory and instruction tracing☆542Updated 10 months ago
- A powerful static binary rewriting tool☆1,015Updated last month
- The first analysis framework for CPU microcode☆393Updated 2 years ago
- A fuzzer for full VM kernel/driver targets☆711Updated 2 months ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆565Updated last month
- ☆439Updated 8 months ago
- Fully dockerized Linux kernel debugging environment☆750Updated 8 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 last month
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆475Updated 5 months ago
- SymCC: efficient compiler-based symbolic execution☆814Updated 3 weeks ago
- BINSEC binary-level open-source platform☆350Updated 3 months ago
- ☆405Updated this week
- A lightweight dynamic instrumentation library☆1,254Updated 2 months ago
- ☆253Updated 2 years ago
- A custom ELF linker/loader for installing ET_REL binary patches at runtime☆166Updated 2 months ago
- Rellic produces goto-free C output from LLVM bitcode☆560Updated last week
- revng: the core repository of the rev.ng project☆1,470Updated this week
- ☆427Updated 5 months ago
- Library for lifting machine code to LLVM bitcode☆1,406Updated last week
- A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS☆303Updated last week
- Lightweight fuzzing of a memory snapshot using KVM☆452Updated last year
- A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…☆374Updated 10 months ago
- ☆318Updated 11 months ago
- 📡🐧 Linux kernel syscall implementation tracker☆214Updated 2 months ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆350Updated 9 months ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆318Updated 3 years ago
- ☆451Updated 9 months ago
- Quarkslab conference talks☆297Updated 3 weeks ago
- The fastest Intel-PT decoder for fuzzing☆370Updated last year