lac-dcc / Daedalus
Daedalus is an LLVM pass that compresses code by identifying and extracting recurrent program slices.
☆21Updated 2 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for Daedalus
- Standalone API for Binary Ninja's LLIL☆15Updated 3 months ago
- Mixed Boolean-Arithmetic in Rust for WebAssembly☆27Updated 10 months ago
- MBA deobfuscator via Program Synthesis and Term Rewriting☆48Updated 8 months ago
- LLVM Without The ROP Gadgets!☆24Updated 10 months ago
- Self-hosting binary instrumentation framework for security research☆12Updated last year
- Unicorn Engine port for UEFI firmware☆44Updated 6 months ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆11Updated 2 weeks ago
- ☆43Updated 2 months ago
- Using Zydis and LLVM to lift unsupported instructions to LLVM-IR☆27Updated 3 years ago
- Exemplary LLVM function pass implementing Control Flow Flattening.☆16Updated 6 years ago
- Experiment building lifting-bits dependencies with pure CMake. Migrated to:☆19Updated last month
- obfuscation that aims to not stand out☆22Updated 2 years ago
- Lightweight PDB symbol parser and resolver☆24Updated 3 weeks ago
- Precompiled LLVM packages ready for (de)obfuscation related development.☆12Updated last week
- Easily search LLVM headers for all major versions!☆16Updated last month
- ☆12Updated last year
- A c++20 constexpr x86 assembler☆54Updated 3 years ago
- LLQL is a tool that allow you to run SQL-like query with Pattern matching functions inspired by LLVM InstCombine Pattern Matchers on LLVM…☆42Updated this week
- Mixed Boolean-Arithmetic☆46Updated 9 months ago
- Runtime smm module loader☆30Updated last year
- A parser for Microsoft PDB (Program Database) debugging information☆24Updated 2 weeks ago
- Symbolic Execution based on lifting amd64 to z3☆17Updated 4 months ago
- Binary Ninja MLIL to LLVM IR lifter☆14Updated 3 years ago
- Lightweight x86-64 instruction length disassembler (LDE)☆27Updated last year
- This is a ring -1 header framework in order to simplify the creation of hypervisors on SVM☆22Updated last year
- Efficient general mixed boolean-arithmetic (MBA) simplifier☆76Updated this week
- LLVM Abstraction & Refinement Tool. The goal of this tool is to provide LLVM-to-LLVM transformations that implement various program abstr…☆19Updated last year
- micro lua☆16Updated 2 months ago
- The next generation reverse engineering IDE (work-in-progress).☆93Updated 4 months ago
- Lisp in kernel-mode because it was so seductive☆13Updated 4 years ago