llsoftsec / llsoftsecbookLinks
Low-Level Software Security for Compiler Developers
☆601Updated 2 months ago
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☆552Updated last year
- ☆663Updated 10 months ago
- ☆417Updated this 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…☆433Updated last month
- Lightweight fuzzing of a memory snapshot using KVM☆461Updated last year
- BINSEC binary-level open-source platform☆393Updated last month
- GWPSan: Sampling-Based Sanitizer Framework☆332Updated 2 weeks ago
- ☆253Updated 2 years ago
- ☆171Updated last year
- A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…☆385Updated last month
- How to exploit a double free vulnerability in 2021. Use After Free for Dummies☆1,380Updated last year
- 📡🐧 Linux kernel syscall implementation tracker☆268Updated 4 months ago
- Fully dockerized Linux kernel debugging environment☆770Updated last year
- easylkb - Easy Linux Kernel Builder☆386Updated last week
- A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS☆326Updated this week
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆588Updated 10 months ago
- A multi-arch assembly REPL and emulator for your command line.☆311Updated last year
- The first analysis framework for CPU microcode☆412Updated 2 years ago
- Code Coverage Exploration Plugin for Ghidra☆374Updated last year
- radius2 is a fast binary emulation and symbolic execution framework using radare2☆621Updated last year
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆321Updated 4 years ago
- Security-related flags and options for C compilers☆199Updated 3 years ago
- A powerful static binary rewriting tool☆1,083Updated last week
- A blazing fast™ multithreaded ROP Gadget finder. ropper / ropgadget alternative (currently x86 only)☆541Updated 8 months ago
- ☆446Updated last year
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆510Updated last week
- A fuzzer for full VM kernel/driver targets☆768Updated last month
- ☆424Updated last year
- A fast and accurate disassembler☆738Updated 2 weeks ago
- SymCC: efficient compiler-based symbolic execution☆857Updated 8 months ago