mit-ll / LO-PHI
Low-Observable Physical Host Instrumentation: A suite of tools supporting introspection and semantic gap reconstruction for both physical and virtual machines.
☆28Updated 8 years ago
Related projects ⓘ
Alternatives and complementary repositories for LO-PHI
- Interactive Virtual Machine Introspection☆18Updated 7 years ago
- Tracing framework for full system simulators☆54Updated 9 years ago
- A library for performing memory forensics over the IEEE 1394 interface.☆18Updated 6 years ago
- ksfinder - Retrieve exported kernel symbols from physical memory dumps☆43Updated 8 years ago
- Triton based R2 plugin for concolic execution and total control☆30Updated 5 years ago
- Instruction cache leakage detection tool for modular exponentation software.☆14Updated 7 years ago
- ☆24Updated 9 years ago
- Dynamic binary translation framework for instrumenting x86-64 user space Linux programs☆39Updated 6 years ago
- A feature-complete reference implementation of a modern Xen VMI debugger. ARCHIVED: Development continues at https://github.com/spencermi…☆75Updated 4 years ago
- REIL translation library☆36Updated 8 years ago
- ropc-llvm is a PoC of a Turing complete ROP compiler with support for a subset of LLVM IR. It is an extension of ropc.☆66Updated 11 years ago
- Translate regular Assembly into Extended Instructions☆85Updated 12 years ago
- Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).☆35Updated 7 years ago
- Borrowed Instructions Synthetic Computation☆70Updated 9 years ago
- ☆32Updated 5 months ago
- TypeSan checks casts in C++ code - code released for CCS 2016☆32Updated 3 years ago
- kCFI Documentation☆14Updated 7 years ago
- Recon materials☆28Updated 7 years ago
- Automatically exported from code.google.com/p/timing-attestation☆13Updated 9 years ago
- Routines for hunting down kernel structs.☆40Updated 13 years ago
- ☆22Updated 5 years ago
- Basic x86 Symbolic Execution for educational purposes☆18Updated 7 years ago
- ARM rop chain gadget searcher☆37Updated 7 years ago
- Xenpwn is a toolkit for memory access tracing using hardware-assisted virtualization☆143Updated 8 years ago
- Dynamic instrumentation of the Linux kernel☆41Updated 9 years ago
- Symbolic execution for LLVM traces produced by PANDA☆40Updated 5 years ago