airbus-seclab / crashos
A tool dedicated to the research of vulnerabilities in hypervisors by creating unusual system configurations.
☆183Updated 2 years ago
Related projects ⓘ
Alternatives and complementary repositories for crashos
- ROPMEMU is a framework to analyze, dissect and decompile complex code-reuse attacks.☆284Updated 8 years ago
- Xenpwn is a toolkit for memory access tracing using hardware-assisted virtualization☆143Updated 8 years ago
- PoC for breaking hypervisor ASLR using branch target buffer collisions☆165Updated 8 years ago
- Notes on various topics I'm interested in☆157Updated 9 years ago
- High-throughput fuzzer and emulator of DECREE binaries☆241Updated 5 years ago
- Small tool for generating ropchains using unicorn and z3☆197Updated 6 years ago
- Slides and very basic examples☆111Updated 7 years ago
- A program to draw rectangles from heap traces.☆131Updated 4 years ago
- ☆171Updated 2 years ago
- capstone based disassembler for extracting to binnavi☆226Updated 8 years ago
- An open source, multi-architecture ROP compiler written in python☆160Updated 7 years ago
- Semantic Binary Code Analysis Framework☆124Updated 9 years ago
- Scripts for Binary Ninja☆252Updated last year
- add symbols back into a stripped ELF binary (~strip)☆169Updated 7 years ago
- ☆157Updated 7 years ago
- rVMI - A New Paradigm For Full System Analysis☆351Updated 7 years ago
- Hypervisor-Level Debugger based on Radare2 / LibVMI, using VMI IO and debug plugins☆133Updated 5 years ago
- Conference slides and White-papers☆356Updated 4 years ago
- ☆104Updated 9 years ago
- Reverse engineering tool for automatic structure recovering and memory use analysis based on DynamoRIO and Capstone☆316Updated 5 years ago
- cLEMENCy is the LEgitbs Middle ENdian Computer architecture developed by Lightning for DEF CON CTF 2017☆124Updated 7 years ago
- Synesthesia, implemented as Yices scripts☆89Updated 7 years ago
- Fuzzing and Data Manipulation Framework (for GNU/Linux)☆161Updated last week
- grap: define and match graph patterns within binaries☆169Updated 3 years ago
- Release Branches for MoFlow☆303Updated 9 years ago
- ☆236Updated 6 years ago
- Routines for hunting down kernel symbols.☆81Updated 13 years ago