pgarba / souper
A superoptimizer for LLVM IR
☆8Updated 2 months ago
Alternatives and similar repositories for souper:
Users that are interested in souper are comparing it to the libraries listed below
- Reverse engineered API for Microsoft's Time Travel Debugger☆34Updated last year
- LLDB based debugger for Linux Kernel☆23Updated 2 weeks ago
- LLVM based devirtualization PoC’s.☆20Updated 3 years ago
- Binary Ninja plugin for automating VMProtect analysis☆57Updated 2 years ago
- Easily search LLVM headers for all major versions!☆19Updated 2 months ago
- Playing with LLVM passes☆36Updated last year
- Standalone API for Binary Ninja's LLIL☆18Updated 8 months ago
- Zydis JavaScript bindings via WASM☆18Updated 2 years ago
- A way to detect DBI frameworks, Debuggers and VMs.☆22Updated 4 years ago
- Binary Ninja plugin that can be used to apply Triton's dead store eliminitation pass on basic blocks or functions.☆58Updated 9 months ago
- Mixed Boolean-Arithmetic in Rust for WebAssembly☆29Updated last year
- LLVM Graph View for VSCode☆33Updated 3 weeks ago
- Lightweight PDB symbol parser and resolver☆24Updated 5 months ago
- This plugin serves as a bridge between Binary Ninja and Ghidra's disassembler.☆31Updated 2 years ago
- A collection of Binary Ninja plugins☆25Updated 2 years ago
- Symbolic executor for Binary Ninja's MLIL☆22Updated 6 months ago
- Experiment building lifting-bits dependencies with pure CMake. Migrated to:☆22Updated 6 months ago
- This is a ring -1 header framework in order to simplify the creation of hypervisors on SVM☆22Updated last year
- Collection of obfuscation, tamper-proofing, and watermarking algorithms targeting LLVM IR.☆71Updated 5 years ago
- ☆23Updated 2 months ago
- Library for reading IDA Pro databases.☆26Updated 3 years ago
- Helper scripts for windows debugging with symbols for Bochs and IDA Pro (PDB files). Very handy for user mode <--> kernel mode☆19Updated last year
- Plugin for x64dbg to disable parallel loading of dependencies☆19Updated 2 years ago
- Minidump loader for Binary Ninja☆10Updated last year
- x86-64 user mode emulation using Zydis☆46Updated 3 months ago
- A documentation of several Tigress obfuscation passes and an attempt to simplify Mixed Boolean-Arithmetic (MBA) expressions.☆21Updated 3 years ago
- obfuscation that aims to not stand out☆23Updated 3 years ago
- A parser for Microsoft PDB (Program Database) debugging information☆27Updated 5 months ago
- Rust library for lifting raw binary data to LLVM IR☆48Updated last week
- Mixed Boolean Arithmetic Simplification using E-Graphs☆20Updated 3 weeks ago