kristerw / instless_comp
Instruction-less computation
☆18Updated last year
Alternatives and similar repositories for instless_comp:
Users that are interested in instless_comp are comparing it to the libraries listed below
- DROB (Dynamic Rewriter and Optimizer of Binary code)☆24Updated 5 years ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆19Updated 2 weeks ago
- hypervisor enforced patch protection for the linux kernel with xen + libvmi, libvmi KASLR offset spoofer☆29Updated 11 months ago
- executing JS from x86 code☆27Updated 5 years ago
- Dr. Disassembler☆35Updated 3 years ago
- Extracting high level semantic information from binary code☆64Updated 5 years ago
- A symbolic execution engine for LLVM IR☆51Updated 2 years ago
- generate assemblers from disassemblers, 2018 jailbreak security summit talk☆37Updated 4 years ago
- fundamental traits to describe an architecture in the yaxpeax project☆14Updated 3 weeks ago
- Binary Deobfuscation Series☆22Updated 5 years ago
- Runtime smm module loader☆33Updated 2 years ago
- x86_64, PE32+, FAT32 bootloader☆25Updated 3 years ago
- Standalone DLL that implements LLVM's demangling functionality.☆17Updated 2 years ago
- Experimental linux kernel module to mirror evdev inputs☆14Updated 4 years ago
- ☆15Updated 2 years ago
- Adds a window to Binary Ninja that explains in simple-ish English what an instruction does☆53Updated 2 years ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆45Updated 2 months ago
- Generate Rust Emulators and Disassemblers from Ghidra Sleigh.☆17Updated last year
- A library for dynamic binary rewriting☆57Updated 4 years ago
- A parser for Microsoft PDB (Program Database) debugging information☆27Updated 4 months ago
- ☆30Updated 4 years ago
- Convert low ghidra pcode to verifiable C☆21Updated 6 months ago
- AMD SVM hypervisor rootkit proof of concept☆45Updated last year
- Data graphing library for command line.☆15Updated 3 years ago
- Code for analyzing cpp inheritance☆12Updated 2 years ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆31Updated 3 years ago
- transpile llil to c++ for execution and testing☆42Updated last year
- Multicore x64 kernel with a focus on introspection and debugging capabilities.☆61Updated 9 months ago
- Some Rust bindings for Binary Ninja☆30Updated last year
- Scalable Validator for Binary Lifters☆55Updated 4 years ago