Jakob-Koschel / llvm-passesLinks
How to use LLVM passes
☆32Updated 3 years ago
Alternatives and similar repositories for llvm-passes
Users that are interested in llvm-passes are comparing it to the libraries listed below
Sorting:
- SMT Modeling for Ghidra's PCODE☆25Updated 2 weeks ago
- binary ninja related code☆35Updated 2 months ago
- Driver Security Analyzer☆51Updated 4 years ago
- Raw IDA Kernel API for IDAPython☆33Updated 3 years ago
- Symbolic executor for Binary Ninja's MLIL☆23Updated 7 months ago
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆34Updated 5 years ago
- ☆42Updated 4 years ago
- kAFL Fuzzer☆33Updated 2 months ago
- ☆42Updated 3 years ago
- Decode machine code into VEX IR and translate into LLVM IR☆28Updated 6 years ago
- Library for Capstone instruction to LLVM IR translation☆45Updated 7 years ago
- Full-VM taint analysis with Xen, Intel(R) Processor Trace and Triton.☆41Updated last year
- small projects, exercises, poc's that'll be used once or twice☆12Updated 2 months ago
- Symbolic Execution Engine based on Ghidra's PCode☆83Updated 2 years ago
- A tool combining DWARF info and source to search for kernel heap objects☆24Updated last year
- Companion to the "Introduction to VirtualBox security research" Blog Post☆30Updated 3 years ago
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆31Updated 2 years ago
- transpile llil to c++ for execution and testing☆42Updated last year
- Tutorial to write qemu plugins☆33Updated 7 years ago
- BinRec: Dynamic Binary Lifting and Recompilation☆137Updated last year
- MBA-Blast is a tool for simplification of MBA expressions.☆61Updated 3 years ago
- Ghidra P-Code emulation and static LLVM lifting in Python☆31Updated 3 years ago
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated 2 years ago
- ☆30Updated 3 weeks ago
- Output high level Pcode (PcodeAST) in Ghidra☆16Updated 2 years ago
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆76Updated 2 years ago
- RetDec plugin for LLDB. RetDec is a retargetable machine-code decompiler based on LLVM.☆61Updated last year
- breaking decompilers☆47Updated 3 weeks ago
- ☆33Updated 3 years ago