pr0cf5 / move-bytecode-llvm-compiler
☆35Updated 2 years ago
Alternatives and similar repositories for move-bytecode-llvm-compiler:
Users that are interested in move-bytecode-llvm-compiler are comparing it to the libraries listed below
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- LLVM based devirtualization PoC’s.☆20Updated 3 years ago
- Playing with LLVM passes☆36Updated last year
- Practical fuzzing tutorials and training☆30Updated 7 months ago
- transpile llil to c++ for execution and testing☆42Updated last year
- Compile Binary Ninja's MLIL to LLVM, for purposes of analysis, patching, and compiling it back to a binary again.☆55Updated 2 years ago
- Binary Ninja plugin to automate the process of generating pseudo-C code, running Semgrep over the pseudo-C, and presenting the results.☆26Updated 2 weeks ago
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆29Updated 2 years ago
- ☆22Updated this week
- Mixed Boolean Arithmetic Simplification using E-Graphs☆13Updated this week
- Symbolic Execution Engine based on Ghidra's PCode☆82Updated last year
- Raw IDA Kernel API for IDAPython☆33Updated 2 years ago
- Binary Ninja plugin for automating VMProtect analysis☆58Updated 2 years ago
- Binary Ninja MLIL to LLVM IR lifter☆15Updated 3 years ago
- LibAFL-based snapshot fuzzer to fuzz TMNF's RPC interface. Includes a free RCE exploit!☆41Updated 2 years ago
- Write dynamic binary analysis tools in Python☆61Updated 3 weeks ago
- A tour of what some Rust language features look like after compilation.☆44Updated last year
- binary->LLVM->circuits☆19Updated 11 months ago
- ☆80Updated 2 years ago
- Binary Ninja plugin that can be used to apply Triton's dead store eliminitation pass on basic blocks or functions.☆58Updated 7 months ago
- ☆15Updated 3 years ago
- Symbolic executor for Binary Ninja's MLIL☆22Updated 4 months ago
- Disassembler for Zeus VM custom instruction set☆27Updated last year
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆27Updated 2 years ago
- Triton based symbolic emulator☆16Updated 2 years ago
- ☆77Updated 4 months ago
- Esorics 2021 - Towards Automating Code-Reuse Attacks Using Synthesized Gadget Chains☆54Updated 3 years ago
- Another (bad) ROP gadget finder, but this time in Rust☆18Updated 10 months ago
- Mixed Boolean-Arithmetic in Rust for WebAssembly☆28Updated last year
- Tantō slices functions into more consumable chunks☆48Updated 3 months ago