Use angr in Ghidra
Simple Theorem Prover, an efficient SMT solver for bitvectors
History of symbolic execution (as well as SAT/SMT solving, fuzzing, and ...
The official repository of "ChatDB: Augmenting LLMs with Databases as Th...
yet another tool for analysing binaries
A lightweight VM for hardware hacking, RE (fuzzing, symEx, exploiting et...
Symbiotic is a tool for finding bugs in computer programs based on instr...
Automatic ROPChain Generation
Use angr in the IDA Pro debugger generating a state from the current deb...
symbolic execution plugin for binary ninja
Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decomp...
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
SymGDB - symbolic execution plugin for gdb
Seeding fuzzers with symbolic execution
Fuzzing tutorial with easy-to-learn labs 🚀