tbodt / spectre
Spectre POC: Reading from another process
☆35Updated 5 years ago
Alternatives and similar repositories for spectre:
Users that are interested in spectre are comparing it to the libraries listed below
- Preventing code-reuse attacks by stopping code pointer leakages☆36Updated 9 years ago
- Dynamic binary translation framework for instrumenting the Linux kernel and its modules☆77Updated 7 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆75Updated 2 years ago
- A quick PoC to try out the "meltdown" timing attack.☆154Updated 7 years ago
- Implementation of G-Free: Defeating Return-Oriented Programming through Gadget-less Binaries☆95Updated 6 years ago
- ☆63Updated 5 years ago
- UniSan: Proactive Kernel Memory Initialization to Eliminate Data Leakages☆42Updated 3 years ago
- A tiny KVM hypervisor written in Python☆66Updated 6 years ago
- A Tale of Two Worlds: Assessing the Vulnerability of Enclave Shielding Runtimes☆45Updated last year
- Linux call graph visualization☆28Updated 6 years ago
- HeapHopper is a bounded model checking framework for Heap-implementations☆214Updated 6 months ago
- Rewriting functions in compiled binaries using McSema☆88Updated 5 years ago
- Code for the paper EvilCoder: Automated Bug Insertion at ACSAC 2016☆45Updated 8 years ago
- Re-randomizing the memory layout of a process at runtime☆21Updated 8 years ago
- KLEE-TAINT - Klee with taint analysis support☆71Updated 7 years ago
- Nemesis: Studying microarchitectural timing leaks in rudimentary CPU interrupt logic☆86Updated 3 years ago
- A semi-demi-working proof of concept for a mix of spectre and meltdown vulnerabilities☆129Updated 7 years ago
- Symbolic execution for LLVM traces produced by PANDA☆40Updated 6 years ago
- Tool to view heap chunks and memory writes (using pintool)☆39Updated 6 years ago
- clang-based search engine for C/C++ data structures, classes, prototypes & macros☆101Updated 4 months ago
- Notes on QEMU and Debian MIPS (big-endian)☆44Updated 6 years ago
- ☆13Updated 5 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆66Updated last year
- ☆23Updated 4 years ago
- A ptrace based sandbox. (PoC)☆14Updated 6 years ago
- Detect patterns of bad behavior in function calls☆26Updated 4 years ago
- My minimal PoC for spectre☆40Updated 7 years ago
- Sample programs that illustrate how to use control flow integrity with the clang compiler☆105Updated 6 years ago
- Uncovering Class Hierarchies in C++ Programs☆126Updated 2 years ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago