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:
- AIL: The angr Intermediate Language.☆32Updated 3 weeks ago
- Binary Ninja plugin for visualizing coverage over time☆25Updated 3 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
- ☆27Updated 2 years ago
- Symbolic execution of LLVM IR traces for program understanding.☆27Updated 11 years ago
- Superion Mutator for AFLPlusPlus☆31Updated last year
- Store and read traces in Protobuf☆20Updated this week
- Supporting Materials for “Symbolic Triage” blog post☆24Updated 2 years ago
- Underconstrained symbolic execution for cryptography verification☆19Updated 4 years ago
- ManticoreUI support for Ghidra. This is primarily a prototype repository. See the main ManticoreUI repo (https://github.com/trailofbits/M…☆11Updated 3 years ago
- FastKLEE: Faster Symbolic Execution via Reducing Redundant Bound Checking of Type-Safe Pointers☆20Updated 2 years ago
- Ditto.☆18Updated 4 years ago
- CodeHawk Binary Analyzer for malware analysis and general reverse engineering☆34Updated 2 weeks ago
- ☆20Updated 9 months ago
- A monitoring script for AFL☆40Updated 8 years ago
- BigMap integration on AFL++☆15Updated 4 years ago
- ☆18Updated 3 years ago
- An approximate solver for concolic execution☆18Updated last month
- A plugin to integrate an IPython kernel into Binary Ninja.☆30Updated 7 years ago
- Collection of LLVM passes and triage tools for use with the KRF fuzzer☆36Updated 2 years ago
- SymFusion: Hybrid Instrumentation for Concolic Execution☆17Updated 2 years ago
- ☆38Updated 2 years ago
- An approach to detect opaque predicates by identifying the damage caused by the obfuscation.☆31Updated 4 years ago
- Symbolic Execution over Falcon IL☆29Updated 3 years ago
- AFL++(2.63c/2.65c) + aflsmart(5ad7ea3)☆10Updated 4 years ago
- ☆58Updated 2 years ago
- Greybox fuzzer for optimizing function coverage and finding low-level vulnerabilities in C programs☆38Updated 6 years ago
- Experimental MLIR based points-to analysis tool☆17Updated last week
- CodeQL library and queries for iterator invalidation☆22Updated 4 years ago
- TracerX Symbolic Virtual Machine☆33Updated last month