Battelle / sandsifterLinks
The x86 processor fuzzer
☆509Updated 6 years ago
Alternatives and similar repositories for sandsifter
Users that are interested in sandsifter are comparing it to the libraries listed below
Sorting:
- Microcode Updates for the USENIX 2017 paper: Reverse Engineering x86 Processor Microcode☆342Updated 6 years ago
- Intel Management Engine JTAG Proof of Concept☆519Updated 5 years ago
- Exploration of x86-64 ISA using speculative execution.☆311Updated 4 years ago
- GLM uCode dumps☆289Updated 5 years ago
- The single instruction C compiler☆1,432Updated 2 years ago
- An exploration of code homeomorphism☆377Updated 7 years ago
- ☆363Updated last year
- A differential fuzzer for x86 decoders☆251Updated 8 months ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆318Updated 3 years ago
- Computing with traps☆1,296Updated 12 years ago
- Psychological warfare in reverse engineering☆1,007Updated 5 years ago
- unfork(2) is the inverse of fork(2). sort of.☆1,475Updated last year
- A fast, parallel test case minimization tool.☆959Updated 4 years ago
- RIDL test suite and exploits☆355Updated 5 years ago
- Linux i386 tool to load and execute ME modules.☆133Updated 4 years ago
- revng: the core repository of the rev.ng project☆1,476Updated this week
- A static binary rewriter that does not use heuristics☆304Updated 7 years ago
- The first analysis framework for CPU microcode☆394Updated 2 years ago
- A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…☆377Updated 11 months ago
- Display, extract, and manipulate PSP firmware inside UEFI images☆637Updated last month
- Survey of program analysis research with a focus on machine code☆563Updated 4 years ago
- An optimizing decompiler☆727Updated 4 years ago
- Public repository for Cantordust Ghidra plugin.☆382Updated last year
- Rellic produces goto-free C output from LLVM bitcode☆561Updated last month
- Proof of concept code for the Spectre CPU exploit.☆305Updated 2 years ago
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆715Updated last month
- Deep ghidra decompiler and sleigh disassembler integration for rizin☆877Updated 2 months ago
- A powerful static binary rewriting tool☆1,019Updated 2 months ago
- Understand and mitigate software-observable side-channels☆501Updated 4 years ago
- Intel Management Engine JTAG Proof of Concept☆141Updated 5 years ago