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
- Binary Ninja plugin for visualizing coverage over time☆25Updated 2 years ago
- ☆13Updated 2 years ago
- ☆39Updated 3 years ago
- ☆12Updated last year
- White-box analytic framework based on LLVM☆39Updated 5 years ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Updated 3 years ago
- ☆56Updated last year
- ☆19Updated 4 months 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
- ☆34Updated last year
- LLVM based devirtualization PoC’s.☆20Updated 2 years ago
- LLVM Without The ROP Gadgets!☆24Updated 10 months ago
- Easily search LLVM headers for all major versions!☆15Updated 3 weeks ago
- Synthesis of loop-free programs☆14Updated this week
- obfuscation that aims to not stand out☆20Updated 2 years ago
- A framework for lifting ARM32 to LLVM-IR and merging resulting code with LLVM-IR generated from source-code.☆13Updated 2 years ago
- Ghidra plugin that adds a window showing the high P-code for the current function.☆14Updated last year
- Output high level Pcode (PcodeAST) in Ghidra☆15Updated last year
- AMD SVM hypervisor rootkit proof of concept☆42Updated last year
- Standalone API for Binary Ninja's LLIL☆15Updated 3 months ago
- My research WIP bluepill hypervisor☆41Updated last year
- A Unit-Based Symbolic Execution Method for Detecting Memory Corruption Vulnerabilities in Executable Codes☆43Updated last year
- Python bindings for BochsCPU☆34Updated last month
- Symbolic executor for Binary Ninja's MLIL☆22Updated last month
- MBA deobfuscator via Program Synthesis and Term Rewriting☆47Updated 7 months ago
- Exemplary LLVM function pass implementing Control Flow Flattening.☆16Updated 6 years ago
- Binary Ninja MLIL to LLVM IR lifter☆14Updated 3 years ago
- Minidump loader for Binary Ninja☆10Updated last year
- Apply ROP protection to a binary using binary rewriting with GTIRB☆32Updated last year