trailofbits / circuitous
binary->LLVM->circuits
☆19Updated 10 months ago
Alternatives and similar repositories for circuitous:
Users that are interested in circuitous are comparing it to the libraries listed below
- ☆13Updated last year
- Experiment building lifting-bits dependencies with pure CMake. Migrated to:☆21Updated 3 months ago
- ☆34Updated last year
- Exemplary LLVM function pass implementing Control Flow Flattening.☆16Updated 6 years ago
- Mixed Boolean Arithmetic Simplification using E-Graphs☆12Updated this week
- LLVM Without The ROP Gadgets!☆26Updated last year
- White-box analytic framework based on LLVM☆39Updated 5 years ago
- Source code of a few LLVM passes that I wrote to learn and that now I am sharing for my LLVM course for security engineering☆27Updated 2 years ago
- My research WIP bluepill hypervisor☆41Updated last year
- Symbolic executor for Binary Ninja's MLIL☆22Updated 3 months ago
- Ghidra plugin that adds a window showing the high P-code for the current function.☆15Updated last year
- Standalone API for Binary Ninja's LLIL☆18Updated 5 months ago