trailofbits / maatLinks
Open-source symbolic execution framework: https://maat.re
☆634Updated 9 months ago
Alternatives and similar repositories for maat
Users that are interested in maat are comparing it to the libraries listed below
Sorting:
- radius2 is a fast binary emulation and symbolic execution framework using radare2☆615Updated 6 months ago
- Winnie makes fuzzing Windows applications easy☆559Updated 2 years ago
- FormatFuzzer is a framework for high-efficiency, high-quality generation and parsing of binary inputs.☆420Updated 2 weeks ago
- A fuzzer for full VM kernel/driver targets☆720Updated 2 weeks ago
- The fastest Intel-PT decoder for fuzzing☆372Updated last year
- A lightweight dynamic instrumentation library☆1,259Updated 2 months ago
- S2E: A platform for multi-path program analysis with selective symbolic execution.☆476Updated 6 months ago
- RetroWrite -- Retrofitting compiler passes through binary rewriting☆715Updated last month
- A fast and accurate disassembler☆706Updated last week
- A powerful static binary rewriting tool☆1,019Updated 2 months ago
- An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.☆568Updated 2 months ago
- Use angr in Ghidra☆585Updated 10 months ago
- Port of devttyS0's IDA plugins to the Ghidra plugin framework, new plugins as well.☆488Updated 4 years ago
- Python 3 bridge to Ghidra's Python scripting☆353Updated 2 years ago
- Snapshot-based coverage-guided windows kernel fuzzer☆319Updated 3 years ago
- A comprehensive binary emulation and instrumentation platform.☆416Updated 2 years ago
- Intermediate Representation for Binary analysis and transformation☆339Updated last month
- Kernel Fuzzer for Xen Project (KF/x) - Hypervisor-based fuzzing using Xen VM forking, VMI & AFL☆473Updated 11 months ago
- anvill forges beautiful LLVM bitcode out of raw machine code☆352Updated 9 months ago
- ☆440Updated 8 months ago
- AFL binary instrumentation☆299Updated 5 months ago
- A grammar based feedback Fuzzer☆446Updated 10 months ago
- A reversing plugin for cross-decompiler collaboration, built on git.☆647Updated 3 weeks ago
- CLE Loads Everything (at least, many binary formats!)☆453Updated this week
- Rellic produces goto-free C output from LLVM bitcode☆561Updated last month
- SymCC: efficient compiler-based symbolic execution☆817Updated last month
- Karta - source code assisted fast binary matching plugin for IDA☆887Updated 2 years ago
- Binary, coverage-guided fuzzer for Windows, macOS, Linux and Android☆1,218Updated 2 months ago
- SymQEMU: Compilation-based symbolic execution for binaries☆348Updated last month
- Playing with the Tigress software protection. Break some of its protections and solve their reverse engineering challenges. Automatic deo…☆833Updated last year