marcan / speculation-bugs
Docs and resources on CPU Speculative Execution bugs
☆373Updated 7 years ago
Alternatives and similar repositories for speculation-bugs:
Users that are interested in speculation-bugs are comparing it to the libraries listed below
- Linux i386 tool to load and execute ME modules.☆132Updated 4 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆67Updated last year
- Disabling kernel lockdown on Ubuntu without physical access☆79Updated 2 years ago
- ☆70Updated 4 years ago
- IPC scripts for access to Intel CRBUS☆118Updated 3 years ago
- Kernel Test Framework☆141Updated 2 months ago
- GUSTAVE is a fuzzing platform for embedded OS kernels. It is based on QEMU and AFL (and all of its forkserver siblings). It allows to fuz…☆198Updated 3 years ago
- Notes on various topics I'm interested in☆158Updated 9 years ago
- Microcode Updates for the USENIX 2017 paper: Reverse Engineering x86 Processor Microcode☆339Updated 6 years ago
- ☆112Updated 11 years ago
- ☆173Updated 2 years ago
- Kernel Address Isolation to have Side-channels Efficiently Removed☆220Updated 3 years ago
- A tool dedicated to the research of vulnerabilities in hypervisors by creating unusual system configurations.☆185Updated 2 years ago
- Routines for hunting down kernel symbols.☆82Updated 14 years ago
- Simple Driver code for vmlaunch☆159Updated 7 years ago
- PoC for breaking hypervisor ASLR using branch target buffer collisions☆166Updated 8 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆75Updated 2 years ago
- Rewriting functions in compiled binaries using McSema☆88Updated 5 years ago
- Nemesis: Studying microarchitectural timing leaks in rudimentary CPU interrupt logic☆87Updated 3 years ago
- Linux kernel source tree (Kernel Self Protection Project)☆86Updated 2 months ago
- Transform vmlinuz into a fully debuggable vmlinux that can be used with /proc/kcore☆130Updated 6 months ago
- estimate peak virtual memory use☆18Updated 3 weeks ago
- Scout - Instruction based research debugger (a poor man's debugger)☆153Updated last year
- a friendly wrapper around ptrace☆131Updated 3 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- fuzzing framework based on libfuzzer and clang sanitizer☆166Updated 6 years ago
- Processor fuzzer targeting the Armv8-A ISA☆59Updated 2 years ago
- Sample programs that illustrate how to use control flow integrity with the clang compiler☆105Updated 6 years ago
- ☆113Updated last year
- Information about Linux system calls on different architectures☆156Updated 2 weeks ago