trailofbits / divergent-representationsLinks
CodeQL and Binary Ninja scripts to accompany the blog post
☆11Updated 2 years ago
Alternatives and similar repositories for divergent-representations
Users that are interested in divergent-representations are comparing it to the libraries listed below
Sorting:
- 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
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- AIL: The angr Intermediate Language.☆32Updated last week
- ☆25Updated 2 years ago
- ☆14Updated 6 months ago
- Binary Only Thread Sanitizer☆14Updated 9 months ago
- Symbolic execution of LLVM IR traces for program understanding.☆27Updated 11 years ago
- ☆18Updated 3 years ago
- Experimental MLIR based points-to analysis tool☆16Updated last week
- lxfuzz is a grey-box kernel fuzzer used for linux. it is scalable because of qemu being used to emulate in a way to be able to freely cho…☆22Updated 10 months ago
- Binsec/Haunted is an extension of Binsec to verify speculative constant-time and detect Spectre attacks.☆17Updated last year
- An approximate solver for concolic execution☆18Updated last month
- Ditto.☆17Updated 4 years ago
- ☆31Updated 4 years ago
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆33Updated 4 months ago
- ManticoreUI support for Ghidra. This is primarily a prototype repository. See the main ManticoreUI repo (https://github.com/trailofbits/M…☆11Updated 2 years ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆19Updated last week
- ☆42Updated 4 years ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆20Updated 2 years ago
- Superion Mutator for AFLPlusPlus☆31Updated last year
- An approach to detect opaque predicates by identifying the damage caused by the obfuscation.☆30Updated 4 years ago
- A symbolic execution engine for LLVM IR☆51Updated 3 years ago
- Companion to the "Introduction to VirtualBox security research" Blog Post☆30Updated 3 years ago
- ☆42Updated 3 years ago
- Some Rust bindings for Binary Ninja☆30Updated last year
- SymFusion: Hybrid Instrumentation for Concolic Execution☆17Updated 2 years ago
- ☆58Updated 2 years ago
- Dynamic Taint Analysis versus Obfuscated Self-Checking☆16Updated 3 years ago
- Linux kernel branches for confidential compute research☆17Updated 2 months ago