ddcc / microparseLinks
Microcode parser for AMD, Intel, and VIA processors
☆135Updated 9 years ago
Alternatives and similar repositories for microparse
Users that are interested in microparse are comparing it to the libraries listed below
Sorting:
- Simple Driver code for vmlaunch☆161Updated 8 years ago
- ikgt manifest☆42Updated 3 years ago
- The "Intel x86 considered harmful" paper☆199Updated 9 years ago
- ☆86Updated 8 years ago
- Dynamic Visual Debugging / Reverse Engineering Toolsuite☆251Updated 6 years ago
- an open source toolkit for PCI bus exploration☆72Updated 8 years ago
- TRiad Is A Decompiler. Triad is a tiny, free and open source, Capstone based x86 decompiler for ELF binaries.☆104Updated 10 years ago
- Deobfuscation utilities for HDD/SSD firmware images☆78Updated 6 years ago
- This repository contains the nested kernel implementation as it was built for the ASPLOS 2015 paper, including the FreeBSD prototype Pers…☆55Updated 8 years ago
- Trust Zone Project☆21Updated 10 years ago
- A tool dedicated to the research of vulnerabilities in hypervisors by creating unusual system configurations.☆187Updated 3 years ago
- My presentations and papers☆47Updated 4 years ago
- The DrK Attack - Proof of concept☆347Updated 3 years ago
- Microcode Updates for the USENIX 2017 paper: Reverse Engineering x86 Processor Microcode☆349Updated 7 years ago
- JEFF file format tools☆27Updated 9 years ago
- ☆71Updated 5 years ago
- This repository contains tools to perform modern cache attacks on ARM.☆292Updated 3 years ago
- Interactive Disassembler GUI - This Repository is NOT a supported MongoDB product☆250Updated 9 years ago
- An amd64 symbolic emulator☆313Updated 4 years ago
- Huffman decompression for version 11.x Intel ME modules☆31Updated 8 years ago
- return-to-abort() - Using code introspection to prevent stack-smashing☆37Updated 5 years ago
- Xenpwn is a toolkit for memory access tracing using hardware-assisted virtualization☆145Updated 9 years ago
- ☆105Updated 10 years ago
- JIT Assembler Library for multiple ISAs☆76Updated 10 years ago
- Notes on various topics I'm interested in☆160Updated 10 years ago
- SLAyer is an automatic formal verification tool that uses separation logic to verify memory safety of C programs.☆325Updated 9 years ago
- Personal development branch for pcbre (probably not what you want)☆77Updated 2 years ago
- A Genetic File, Syscall and Network Fuzzer.☆58Updated 8 years ago
- Automatic inference of a formal specification of the x86_64 instruction set☆71Updated 9 years ago
- CJAG is an open-source implementation of our cache-based jamming agreement.☆284Updated 3 years ago