lac-dcc / Daedalus
Daedalus is an LLVM pass that compresses code by identifying and extracting recurrent program slices.
☆22Updated this week
Alternatives and similar repositories for Daedalus:
Users that are interested in Daedalus are comparing it to the libraries listed below
- Standalone API for Binary Ninja's LLIL☆18Updated 5 months ago
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Updated last year
- A parser for Microsoft PDB (Program Database) debugging information☆27Updated 2 months ago
- Lightweight PDB symbol parser and resolver☆24Updated 2 months ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆48Updated 10 months ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆12Updated this week
- LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…☆48Updated last week
- Mixed Boolean-Arithmetic☆49Updated 10 months ago
- Unicorn Engine port for UEFI firmware☆46Updated last month
- Easily search LLVM headers for all major versions!☆19Updated 3 months ago
- A disassembler☆21Updated 2 years ago
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆21Updated last year
- Mixed Boolean-Arithmetic in Rust for WebAssembly☆28Updated last year
- Statistics from our binary transformation framework☆7Updated this week
- Disarm — Fast AArch64 Decode/Encoder☆37Updated 3 weeks ago
- Lightweight x86-64 instruction length disassembler (LDE)☆27Updated last year
- ☆12Updated 3 months ago
- Rust library for lifting raw binary data to LLVM IR☆44Updated 4 months ago
- Python bindings for the Icicle emulator.☆25Updated this week
- obfuscation that aims to not stand out☆23Updated 2 years ago
- User interface for inspecting and editing .vtil files based on Ultralight. (WIP)☆15Updated 4 years ago
- Exemplary LLVM function pass implementing Control Flow Flattening.☆16Updated 6 years ago
- Using Zydis and LLVM to lift unsupported instructions to LLVM-IR☆28Updated 3 years ago
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆80Updated last month
- Binary Ninja MLIL to LLVM IR lifter☆14Updated 3 years ago
- Generate Rust Emulators and Disassemblers from Ghidra Sleigh.☆17Updated last year
- Collection of obfuscation, tamper-proofing, and watermarking algorithms targeting LLVM IR.☆71Updated 5 years ago
- A portable header only library extending the C++20 STL.☆72Updated 9 months ago
- Minimal header-only C++11 argument parser library for simple command line tools.☆23Updated 3 months ago
- ☆13Updated last year