llsoftsec / llsoftsecbook
Low-Level Software Security for Compiler Developers
☆549Updated last month
Alternatives and similar repositories for llsoftsecbook:
Users that are interested in llsoftsecbook are comparing it to the libraries listed below
- ☆599Updated 3 weeks ago
- High-performance QEMU memory and instruction tracing☆543Updated 8 months ago
- revng: the core repository of the rev.ng project☆1,431Updated last week
- A multi-arch assembly REPL and emulator for your command line.☆309Updated 4 months ago
- ☆425Updated 4 months ago
- easylkb - Easy Linux Kernel Builder☆342Updated 9 months ago
- A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…☆373Updated 9 months ago
- A lightweight dynamic instrumentation library☆1,227Updated 2 weeks ago
- A custom ELF linker/loader for installing ET_REL binary patches at runtime☆163Updated 2 weeks ago
- Fully dockerized Linux kernel debugging environment☆746Updated 6 months ago
- A powerful static binary rewriting tool☆1,016Updated 2 months ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆317Updated 3 years ago
- ☆403Updated this week
- Code Coverage Exploration Plugin for Ghidra☆348Updated 8 months ago
- The first analysis framework for CPU microcode☆389Updated 2 years ago
- 📡🐧 Linux kernel syscall implementation tracker☆210Updated 2 weeks ago
- Kernel Address Space Layout Derandomization (KASLD) - A collection of various techniques to infer the Linux kernel base virtual address a…☆434Updated last year
- Lightweight fuzzing of a memory snapshot using KVM☆452Updated 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…☆414Updated this week
- ☆442Updated 8 months ago
- ☆439Updated 6 months ago
- BINSEC binary-level open-source platform☆348Updated last month
- anvill forges beautiful LLVM bitcode out of raw machine code☆348Updated 7 months ago
- A blazing fast™ multithreaded ROP Gadget finder. ropper / ropgadget alternative☆497Updated 6 months ago
- ☆157Updated 3 months ago
- Security-related flags and options for C compilers☆189Updated 2 years ago
- LLEF is a plugin for LLDB to make it more useful for RE and VR☆389Updated 2 weeks ago
- ☆253Updated last year
- A fuzzer for full VM kernel/driver targets☆690Updated last week
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆560Updated last week