cojocar / bin2llvm
A binary to LLVM translator
☆145Updated 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☆119Updated 9 years ago
- Display Hex-Rays Microcode☆236Updated 2 years ago
- Library for Capstone instruction to LLVM IR translation☆44Updated 7 years ago
- Symbolic Simplification with PAttern Matching☆104Updated 7 years ago
- Binary Translator to LLVM IR☆48Updated 7 years ago
- A LLVM Pass with runtime dataflow sanitization☆32Updated 5 years ago
- Clone of "Compiler-Agnostic Function Detection in Binaries" source code☆85Updated 3 years ago
- Binary Translator to LLVM IR☆215Updated last year
- LLVM-based compiler to create artificial software diversity to protect software from code-reuse attacks.☆132Updated 6 years ago
- LLVM meets Code Property Graphs☆90Updated 3 years ago
- An binary-to-LLVM IR lifter that leverages Ghidra's IR and analysis☆217Updated 4 years ago
- ☆81Updated 3 years ago
- A library to translate native code for multiple architectures into Tiny Code Generator (TCG) based intermediate representation (IR), base…☆46Updated 4 years ago
- Aarch64 architecture plugin☆85Updated 11 months ago
- KLEE Symbolic Execution Engine☆60Updated 5 years ago
- Build your emulation environment as needed☆65Updated 3 years ago
- Logic-Oriented Opaque Predicate Detection in Obfuscated Binary Code☆50Updated 9 years ago
- BinRec: Dynamic Binary Lifting and Recompilation☆126Updated 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
- ☆69Updated last year
- An IntelliJ IDEA plugin for working on Ghidra Extensions.☆98Updated 10 months ago
- Speculative disassembly, CFG recovery, and call-graph recovery from stripped binaries.☆106Updated 6 years ago
- A patched version of VEX to work with PyVEX.☆105Updated this week
- Tool aimed to provide a binary analysis of different file formats through the use of an Intermmediate Representation.☆136Updated 10 months ago
- MBA-Blast is a tool for simplification of MBA expressions.☆63Updated 3 years ago
- integration with IDA☆92Updated 3 years ago
- QuarkslaB Dynamic Linker library☆80Updated 2 months ago
- a few Ghidra scripts for dumping PCode data☆50Updated 5 years ago
- Static Binary Instrumentation☆119Updated 3 years ago
- Rewriting functions in compiled binaries using McSema☆88Updated 5 years ago