llsoftsec / llsoftsecbook
Low-Level Software Security for Compiler Developers
☆535Updated last month
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☆538Updated 6 months ago
- A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…☆370Updated 7 months ago
- A snapshotting, coverage-guided fuzzer for software (UEFI, Kernel, firmware, BIOS) built on SIMICS☆287Updated 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…☆409Updated 2 weeks ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆547Updated this week
- A powerful static binary rewriting tool☆1,006Updated last month
- BINSEC binary-level open-source platform☆335Updated this week
- ☆399Updated this week
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆460Updated 2 months ago
- Lightweight fuzzing of a memory snapshot using KVM☆445Updated 10 months ago
- The first analysis framework for CPU microcode☆376Updated last year
- A fuzzer for full VM kernel/driver targets☆671Updated this week
- ☆253Updated last year
- GWPSan: Sampling-Based Sanitizer Framework☆315Updated 3 months ago
- ☆428Updated 2 months ago
- The fastest Intel-PT decoder for fuzzing☆366Updated last year
- revng: the core repository of the rev.ng project☆1,367Updated this week
- ☆152Updated last month
- ☆435Updated 4 months ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆347Updated 5 months ago
- 📡🐧 Linux kernel syscall implementation tracker☆207Updated 2 weeks ago
- Automatic verification of LLVM optimizations☆865Updated this week
- Security-related flags and options for C compilers☆188Updated 2 years ago
- A multi-arch assembly REPL and emulator for your command line.☆307Updated 2 months ago
- ☆565Updated last week
- SymCC: efficient compiler-based symbolic execution☆796Updated 7 months ago
- symbolic execution plugin for binary ninja☆309Updated 11 months ago
- A fast and accurate disassembler☆687Updated this week
- A custom ELF linker/loader for installing ET_REL binary patches at runtime☆156Updated this week
- Fuzzing Embedded Systems using Hardware Breakpoints☆182Updated last year