trailofbits / circuitous
binary->LLVM->circuits
☆19Updated 8 months ago
Related projects ⓘ
Alternatives and complementary repositories for circuitous
- Experiment building lifting-bits dependencies with pure CMake. Migrated to:☆19Updated last month
- ☆12Updated last year
- White-box analytic framework based on LLVM☆39Updated 5 years ago
- Reverse engineered API for Microsoft's Time Travel Debugger☆32Updated 7 months ago
- Easily search LLVM headers for all major versions!☆15Updated last month
- Exemplary LLVM function pass implementing Control Flow Flattening.☆16Updated 6 years ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Updated 3 years ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 2 years ago
- ☆21Updated 4 months ago
- ☆34Updated last year
- ☆17Updated last year
- Binary Ninja MLIL to LLVM IR lifter☆14Updated 3 years ago
- ☆39Updated 3 years ago
- LLVM Without The ROP Gadgets!☆24Updated 10 months ago
- LLVM based devirtualization PoC’s.☆20Updated 2 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
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated last year
- Ghidra plugin that adds a window showing the high P-code for the current function.☆14Updated last year
- My research WIP bluepill hypervisor☆41Updated last year
- ☆13Updated 2 years ago
- Synthesis of loop-free programs☆14Updated this week
- AMD SVM hypervisor rootkit proof of concept☆42Updated last year
- Symbolic executor for Binary Ninja's MLIL☆22Updated last month
- Standalone API for Binary Ninja's LLIL☆15Updated 3 months ago
- Apply ROP protection to a binary using binary rewriting with GTIRB☆32Updated last year
- This is a ring -1 header framework in order to simplify the creation of hypervisors on SVM☆22Updated last year
- A documentation of several Tigress obfuscation passes and an attempt to simplify Mixed Boolean-Arithmetic (MBA) expressions.☆21Updated 2 years ago
- Mixed Boolean-Arithmetic in Rust for WebAssembly☆27Updated 10 months ago
- Binary Ninja plugin for automating VMProtect analysis☆57Updated last year