lifting-bits / microx
Safely execute an arbitrary x86 instruction
☆178Updated 9 months ago
Related projects ⓘ
Alternatives and complementary repositories for microx
- Clone of "Compiler-Agnostic Function Detection in Binaries" source code☆83Updated 3 years ago
- An experimental high performance, fuzzing oriented Intel Processor Trace capture and analysis suite☆128Updated 2 years ago
- Diablo is a retargetable link-time binary rewriting framework☆74Updated 3 years ago
- ☆74Updated 4 years ago
- A differential fuzzer for x86 decoders☆234Updated last month
- Automatically exported from code.google.com/p/hyperdbg☆101Updated 9 years ago
- Symbolic Simplification with PAttern Matching☆101Updated 7 years ago
- KLEE Symbolic Execution Engine☆61Updated 5 years ago
- Timeless debugging with symbolic execution and processor trace☆74Updated 3 years ago
- Rewriting functions in compiled binaries using McSema☆87Updated 5 years ago
- DynamoRIO coverage visualization for cutter☆60Updated 2 years ago
- Intel x86 bare metal hypervisor for researching snapshot fuzzing ideas.☆166Updated 3 years ago
- A patched version of VEX to work with PyVEX.☆105Updated 2 months ago
- The Windows Library for Intel Process Trace (WinIPT) is a project that leverages the new Intel Processor Trace functionality exposed by W…☆365Updated last year
- Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.☆104Updated 6 years ago
- clang-based search engine for C/C++ data structures, classes, prototypes & macros☆101Updated last week
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆45Updated 4 years ago
- Hypervisor-based debugger☆185Updated 3 years ago
- The Jakstab static analysis platform for binaries☆157Updated 4 years ago
- ☆69Updated 10 months ago
- Unofficial CMake build for Ghidra's C++ SLEIGH code☆140Updated last week
- Implementation of G-Free: Defeating Return-Oriented Programming through Gadget-less Binaries☆95Updated 6 years ago
- A library for dynamic binary rewriting☆57Updated 3 years ago
- Tiny x86 Length Disassembler☆72Updated 3 years ago
- Detecting Spectre vulnerabilities using symbolic execution, built on angr (github.com/angr/angr)☆74Updated 2 years ago
- Intel PT log analyzer With Parallel Processing And Basic Block Offset Caching Support☆69Updated last year
- Load-time selective binary rewriting☆153Updated 2 years ago
- Uncovering Class Hierarchies in C++ Programs☆125Updated 2 years ago
- TLB splitting VMM☆161Updated 8 years ago
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆211Updated 4 years ago