llsoftsec / llsoftsecbook
Low-Level Software Security for Compiler Developers
☆536Updated 2 weeks ago
Alternatives and similar repositories for llsoftsecbook:
Users that are interested in llsoftsecbook are comparing it to the libraries listed below
- High-performance QEMU memory and instruction tracing☆539Updated 7 months ago
- A lightweight dynamic instrumentation library☆1,212Updated 2 months ago
- BINSEC binary-level open-source platform☆340Updated 3 weeks ago
- ☆254Updated last year
- revng: the core repository of the rev.ng project☆1,397Updated this week
- ☆436Updated 5 months ago
- Lightweight fuzzing of a memory snapshot using KVM☆450Updated 11 months ago
- A powerful static binary rewriting tool☆1,008Updated last month
- A fuzzer for full VM kernel/driver targets☆677Updated last week
- A multi-arch assembly REPL and emulator for your command line.☆307Updated 3 months ago
- ☆400Updated this week
- A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS☆289Updated this week
- Security-related flags and options for C compilers☆188Updated 2 years ago
- A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…☆372Updated 7 months ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆317Updated 3 years ago
- ☆569Updated last week
- 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…☆410Updated 2 weeks ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆553Updated last week
- A fast and accurate disassembler☆690Updated 2 weeks ago
- Rellic produces goto-free C output from LLVM bitcode☆551Updated 6 months ago
- A differential fuzzer for x86 decoders☆244Updated 4 months ago
- 📡🐧 Linux kernel syscall implementation tracker☆208Updated last month
- SymCC: efficient compiler-based symbolic execution☆798Updated this week
- ☆427Updated 3 months ago
- Quarkslab conference talks☆286Updated last month
- Kernel Address Space Layout Derandomization (KASLD) - A collection of various techniques to infer the Linux kernel base virtual address a…☆434Updated 11 months ago
- Fully dockerized Linux kernel debugging environment☆747Updated 5 months ago
- A blazing fast™ multithreaded ROP Gadget finder. ropper / ropgadget alternative☆493Updated 5 months ago
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆460Updated 3 months ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆349Updated 6 months ago