Battelle / sandsifterLinks
The x86 processor fuzzer
☆513Updated 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☆347Updated 6 years ago
- Exploration of x86-64 ISA using speculative execution.☆315Updated 4 years ago
- An exploration of code homeomorphism☆381Updated 7 years ago
- Computing with traps☆1,303Updated 12 years ago
- A research kernel and hypervisor attempting to get fully deterministic emulation with minimum performance cost☆535Updated 4 years ago
- Public repository for Cantordust Ghidra plugin.☆389Updated last year
- RIDL test suite and exploits☆358Updated 5 years ago
- Intel Management Engine JTAG Proof of Concept☆524Updated 5 years ago
- GLM uCode dumps☆290Updated 5 years ago
- Brainfuck interpreter inside printf☆673Updated 4 years ago
- Basic SAT model of x86 instructions using Z3, autogenerated from Intel docs☆320Updated 3 years ago
- unfork(2) is the inverse of fork(2). sort of.☆1,477Updated last year
- Interactive Redundant Assembler (shell)☆97Updated 5 years ago
- A differential fuzzer for x86 decoders☆251Updated 11 months ago
- ☆365Updated last year
- Understand and mitigate software-observable side-channels☆502Updated 4 years ago
- Proof of concept code for the Spectre CPU exploit.☆307Updated 2 years ago
- A fast, parallel test case minimization tool.☆971Updated 4 years ago
- Pure Rust x86_64 bootloader and kernel☆503Updated last year
- The first analysis framework for CPU microcode☆400Updated 2 years ago
- The single instruction C compiler☆1,453Updated 3 years ago
- Psychological warfare in reverse engineering☆1,011Updated 5 years ago
- Avast JavaScript Interactive Shell☆675Updated 5 years ago
- A general purpose memory allocator that implements an isolation security strategy to mitigate memory safety issues while maintaining good…☆381Updated last year
- Survey of program analysis research with a focus on machine code☆564Updated 5 years ago
- HTML representation of the Intel x86 instructions documentation.☆507Updated 10 years ago
- ☆470Updated 10 months ago
- Linux i386 tool to load and execute ME modules.☆134Updated 4 years ago
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆726Updated 5 months ago
- A static binary rewriter that does not use heuristics☆306Updated 7 years ago