airbus-seclab / crashos
A tool dedicated to the research of vulnerabilities in hypervisors by creating unusual system configurations.
☆185Updated 2 years ago
Alternatives and similar repositories for crashos:
Users that are interested in crashos are comparing it to the libraries listed below
- PoC for breaking hypervisor ASLR using branch target buffer collisions☆166Updated 8 years ago
- A program to draw rectangles from heap traces.☆132Updated 5 years ago
- Slides and very basic examples☆111Updated 7 years ago
- An open source, multi-architecture ROP compiler written in python☆161Updated 7 years ago
- Notes on various topics I'm interested in☆158Updated 9 years ago
- High-throughput fuzzer and emulator of DECREE binaries☆243Updated 5 years ago
- Xenpwn is a toolkit for memory access tracing using hardware-assisted virtualization☆144Updated 8 years ago
- ROPMEMU is a framework to analyze, dissect and decompile complex code-reuse attacks.☆284Updated 8 years ago
- ☆173Updated 2 years ago
- capstone based disassembler for extracting to binnavi☆227Updated 8 years ago
- Conference slides and White-papers☆356Updated 5 years ago
- Small tool for generating ropchains using unicorn and z3☆197Updated 7 years ago
- Semantic Binary Code Analysis Framework☆125Updated 9 years ago
- add symbols back into a stripped ELF binary (~strip)☆170Updated 7 years ago
- ☆105Updated 9 years ago
- GATEKEEPER: Inline and on-target defense☆119Updated 2 years ago
- Scripts for Binary Ninja☆254Updated 2 years ago
- Hypervisor-Level Debugger based on Radare2 / LibVMI, using VMI IO and debug plugins☆133Updated 6 years ago
- Fuzzing and Data Manipulation Framework (for GNU/Linux)☆162Updated this week
- Linux bind shell with anti-reverse engineering techniques☆285Updated 8 years ago
- rVMI - A New Paradigm For Full System Analysis☆355Updated 7 years ago
- grap: define and match graph patterns within binaries☆170Updated 4 years ago
- Synesthesia, implemented as Yices scripts☆94Updated 7 years ago
- Release Branches for MoFlow☆305Updated 9 years ago
- A linux system call fuzzer using TriforceAFL☆175Updated last year
- ☆162Updated 8 years ago
- An amd64 symbolic emulator☆315Updated 3 years ago
- ☆75Updated 9 months ago
- GrSecurity and PaX Patches Before End of Public Release☆63Updated 6 years ago
- Automated Return-Oriented Programming Chaining☆84Updated 8 years ago