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 4 years ago
- executing JS from x86 code☆27Updated 5 years ago
- A library for dynamic binary rewriting☆57Updated 3 years ago
- hypervisor enforced patch protection for the linux kernel with xen + libvmi, libvmi KASLR offset spoofer☆29Updated 8 months ago
- Extracting high level semantic information from binary code☆64Updated 5 years ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆17Updated this week
- Adds a window to Binary Ninja that explains in simple-ish English what an instruction does☆52Updated last year
- Binary Deobfuscation Series☆21Updated 5 years ago
- Dr. Disassembler☆35Updated 3 years ago
- Runtime smm module loader☆32Updated 2 years ago
- A parser for Microsoft PDB (Program Database) debugging information☆27Updated 2 months ago
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Updated last year
- lxfuzz is a grey-box kernel fuzzer used for linux. it is scalable because of qemu being used to emulate in a way to be able to freely cho…☆22Updated 5 months ago
- Code for analyzing cpp inheritance☆12Updated 2 years ago
- ☆23Updated last year
- ☆30Updated 4 years ago
- A python script that creates an X86 assembly code for memcpy using genetic algorithms.☆10Updated 5 years ago
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆21Updated last year
- X86 disassembler benchmark☆57Updated 6 months ago
- Generate Rust Emulators and Disassemblers from Ghidra Sleigh.☆17Updated last year
- Some Rust bindings for Binary Ninja☆30Updated last year
- Data graphing library for command line.☆15Updated 3 years ago
- Collection of obfuscation, tamper-proofing, and watermarking algorithms targeting LLVM IR.☆71Updated 5 years ago
- Tool to extract the kallsyms (System.map) from a memory dump☆25Updated last year
- Common dependency management for various Trail of Bits C++ codebases☆33Updated 7 months ago
- A collection of Binary Ninja plugins☆24Updated 2 years ago
- Symbolic expression simplifier used across VTIL toolchain. Moved into -->☆24Updated 4 years ago
- Convert low ghidra pcode to verifiable C☆20Updated 4 months ago
- Symbolic execution for RISC-V machine code based on the formal LibRISCV ISA model☆43Updated 6 months ago