cojocar / bin2llvm
A binary to LLVM translator
☆148Updated 6 years ago
Alternatives and similar repositories for bin2llvm:
Users that are interested in bin2llvm are comparing it to the libraries listed below
- Collection of various llvm passes☆121Updated 9 years ago
- Binary Translator to LLVM IR☆49Updated 7 years ago
- Library for Capstone instruction to LLVM IR translation☆45Updated 7 years ago
- Symbolic Simplification with PAttern Matching☆105Updated 8 years ago
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆217Updated 4 years ago
- Display Hex-Rays Microcode☆238Updated 2 years ago
- Clone of "Compiler-Agnostic Function Detection in Binaries" source code☆86Updated 3 years ago
- QuarkslaB Dynamic Linker library☆82Updated 4 months ago
- BinRec: Dynamic Binary Lifting and Recompilation☆135Updated last year
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code☆51Updated 9 years ago
- Repository of code I've written during my twitch stream, "F'ing Around with Binary Ninja"☆107Updated 4 years ago
- A LLVM Pass with runtime dataflow sanitization☆32Updated 6 years ago
- Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.☆106Updated 6 years ago
- Rewriting functions in compiled binaries using McSema☆88Updated 5 years ago
- Compile Binary Ninja's MLIL to LLVM, for purposes of analysis, patching, and compiling it back to a binary again.☆56Updated 2 years ago
- MBA-Blast is a tool for simplification of MBA expressions.☆61Updated 3 years ago
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆133Updated 6 years ago
- Diablo is a retargetable link-time binary rewriting framework☆77Updated 4 years ago
- ☆70Updated last year
- LLVM meets Code Property Graphs☆91Updated 4 years ago
- Build your emulation environment as needed☆66Updated 4 years ago
- A /proc/mem IDA loader to snapshot a running process☆162Updated 2 years ago
- Decode machine code into VEX IR and translate into LLVM IR☆27Updated 5 years ago
- ☆82Updated 3 years ago
- integration with IDA☆92Updated 3 years ago
- A patched version of VEX to work with PyVEX.☆107Updated 2 months ago
- Symbolic Execution Engine based on Ghidra's PCode☆83Updated 2 years ago
- Transfer analysis data between Binary Ninja and IDA☆133Updated 7 months ago
- Recover 64 bit ELF executables from memory dump☆87Updated 6 years ago