trailofbits / divergent-representations
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
- Ditto.☆17Updated 4 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
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 years ago
- ☆18Updated 3 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆10Updated 4 years ago
- A plugin to integrate an IPython kernel into Binary Ninja.☆29Updated 6 years ago
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆17Updated 2 years ago
- An AFL scaling benchmarking tool☆18Updated 4 years ago
- An approximate solver for concolic execution☆18Updated last week
- AIL: The angr Intermediate Language.☆32Updated this week
- ☆31Updated 4 years ago
- Symbolic execution of LLVM IR traces for program understanding.☆27Updated 11 years ago
- ☆25Updated last year
- A monitoring script for AFL☆39Updated 8 years ago
- Binary Only Thread Sanitizer☆14Updated 9 months ago
- ☆40Updated 4 years ago
- MemSight: Rethinking Pointer Reasoning in Symbolic Execution (ASE 2017)☆23Updated 5 months ago
- Symbolic Execution over Falcon IL☆29Updated 3 years ago
- BigMap integration on AFL++☆15Updated 4 years ago
- experiments for IJON☆12Updated 5 years ago
- Superion Mutator for AFLPlusPlus☆31Updated last year
- SanitizerCoverage hooks and coverage reports for user-mode QEMU☆12Updated 5 years ago
- Patchestry is a binary patching framework built with MLIR and Ghidra.☆20Updated this week
- Collection of LLVM passes and triage tools for use with the KRF fuzzer☆36Updated 2 years ago
- funky fun fuzzer☆11Updated 3 years ago
- Binsec/Rel is an extension of Binsec that implements relational symbolic execution for constant-time verification and secret-erasure at b…☆33Updated 3 months ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆20Updated last year
- ASPFuzz: Fuzzing the AMD SP's ROM bootloader with LibAFL using QEMU full-system emulation☆27Updated 2 years ago
- A project for simulating fuzzing such that analysis can be done on coverage/feedback/scaling mechanisms☆9Updated 5 years ago