Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.
Symbolic execution tool
Reverse engineering framework in Python
A unit test-like interface for fuzzing and symbolic execution
Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.
yet another tool for analysing binaries
An analysis tool for Python that blurs the line between testing and type systems.
Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE
The official repository of "ChatDB: Augmenting LLMs with Databases as Their Symbolic Memory".
AI based fuzzer based on imitation learning
Simplify Ethereum security analysis and testing
Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine
Static deobfuscator for Themida, WinLicense and Code Virtualizer 3.x's mutation-based obfuscation.
symbolic execution plugin for binary ninja
SymGDB - symbolic execution plugin for gdb
Seeding fuzzers with symbolic execution
Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
SEMA is based on angr, a symbolic execution engine used to extract API calls. Especially, we extend ANGR with strategies to create representative signatures based on System Call Dependency graph (SCDG). Those SCDGs can be exploited in machine learning modules to do classification/detection.
Automatic ROPChain Generation
Add a description, image, and links to the symbolic-execution topic page so that developers can more easily learn about it.
To associate your repository with the symbolic-execution topic, visit your repo's landing page and select "manage topics."