eigenform / perfectLinks
x86 JIT playground for documenting and exploring microarchitectural implementation details
☆17Updated last month
Alternatives and similar repositories for perfect
Users that are interested in perfect are comparing it to the libraries listed below
Sorting:
- Formally verified x86-64 decompilation☆43Updated this week
- Microarchitectural weird machine implementation using exceptions, TSX, branch predictors, and branch target buffers.☆15Updated 2 years ago
- amd-nv-tool can extract and modify information from BIOS images of AMD systems☆14Updated 2 years ago
- Convert low ghidra pcode to verifiable C☆22Updated last year
- Dracula inspired theme for Ghidra☆12Updated 5 years ago
- Dr. Disassembler☆36Updated 3 years ago
- PSP emulator☆92Updated 4 years ago
- GDB macros for real mode debugging☆24Updated 9 years ago
- Binary Ninja Plugin for RISC-V☆14Updated last year
- Ghidra P-Code emulation and static LLVM lifting in Python☆33Updated 3 years ago
- A simple MIPS to LLVM IR recompiler with ahead-of-time recompilation support☆45Updated 5 years ago
- Support of Nvidia Falcon processors for Ghidra☆73Updated last year
- The DREAM decompiler☆44Updated 3 years ago
- Intel Management Engine JTAG Proof of Concept - 2022 Instructions☆33Updated 3 years ago
- EFI Byte Code Virtual Machine in userspace☆81Updated 2 years ago
- Binja loader for AMD-SP or PSP firmware binaries.☆38Updated 2 years ago
- llvm with tablegen backend for capstone disassembler☆50Updated 2 weeks ago
- Automatically exported from code.google.com/p/llvm-qemu☆11Updated 10 years ago
- Standalone AArch64 Emulator Library☆72Updated 4 years ago
- A bare-metal x86 instruction set fuzzer a la Sandsifter☆69Updated last year
- Proof-of-concept implementation for the paper "Indirect Meltdown: Building Novel Side-Channel Attacks from Transient Execution Attacks" (…☆22Updated 2 years ago
- Gekko Gamecube Emulator☆12Updated 10 years ago
- Write a Ghidra Extension without using Java or Eclipse!☆18Updated 8 months ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆159Updated this week
- A div-less, mul-less, atomic-less `rv64i` compiler toolchain using purely clang, musl, and compiler-rt☆30Updated 5 years ago
- A collection of interesting ELF files for inspiration and testing☆30Updated 2 years ago
- Supplemental material to our paper: "One Glitch to Rule Them All: Fault Injection Attacks Against AMD's Secure Encrypted Virtualization"☆90Updated 3 years ago
- Demo projects using virt86☆14Updated 6 years ago
- TInA is an automated, generic, verification-friendly and trustworthy lifting technique turning GNU-style inline assembly into semanticall…☆29Updated 4 years ago
- Ghidra Processor Module to disassemble and decompile the x86 Intel Atom microcode☆83Updated 2 years ago