Jakob-Koschel / llvm-passes
How to use LLVM passes
☆30Updated 2 years ago
Alternatives and similar repositories for llvm-passes:
Users that are interested in llvm-passes are comparing it to the libraries listed below
- SMT Modeling for Ghidra's PCODE☆22Updated last week
- transpile llil to c++ for execution and testing☆42Updated last year
- Raw IDA Kernel API for IDAPython☆33Updated 2 years ago
- binary ninja related code☆25Updated 2 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
- ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation☆27Updated last year
- small projects, exercises, poc's that'll be used once or twice☆13Updated 3 weeks ago
- ☆40Updated 3 years ago
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆29Updated 2 years ago
- Rust bindings for googleprojectzero/TinyInst☆16Updated last year
- A tool combining DWARF info and source to search for kernel heap objects☆22Updated 11 months ago
- KLEESpectre is a symbolic execution engine with speculation semantic and cache modelling☆33Updated 4 years ago
- Driver Security Analyzer☆51Updated 4 years ago
- Library for Capstone instruction to LLVM IR translation☆44Updated 7 years ago
- Ghidra Sleight (PCode) parsing library in Rust.☆42Updated last month
- Slightly better IDA code folding☆14Updated 4 years ago
- kAFL Fuzzer☆33Updated 5 months ago
- Symbolic Execution Engine based on Ghidra's PCode☆82Updated last year
- BigMap integration on AFL++☆15Updated 3 years ago
- weggli is a fast and robust semantic search tool for C and C++ codebases. It is designed to help security researchers identify interestin…☆17Updated 8 months ago
- x86/x64 architecture plugin☆39Updated 11 months ago
- ☆41Updated 2 years ago
- RetDec plugin for LLDB. RetDec is a retargetable machine-code decompiler based on LLVM.☆63Updated 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
- Symbolic executor for Binary Ninja's MLIL☆22Updated 4 months ago
- TTexplore is a library that performs path exploration on binary code using symbolic execution☆77Updated 2 years ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆29Updated 2 years ago
- Small binja plugin to import header file to types☆18Updated 2 years ago
- Triton-based DSE library with loading and exploration capabilities (and more!)☆113Updated last month
- A symbolic execution engine for LLVM IR☆34Updated 2 years ago