#Symbolic-execution
Showing 22 of 22 repositories tagged #symbolic-execution, ranked by stars
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.
Reverse engineering framework in Python
Symbolic execution tool
Binary Analysis Platform
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine
Simplify Ethereum security analysis and testing
Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.
Automatic ROPChain Generation
Fuzzing tutorial with easy-to-learn labs 🚀
AI based fuzzer based on imitation learning
A symbolic execution engine for EVM smart contract binaries.
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.
Optik is a set of symbolic execution tools that assist smart-contract fuzzers
A decompiler to automatically reverse-engineer the DNN semantics from its compiled binary using program analysis
Track the values and addresses of slots (storage variables in Solidity) inside the Ethereum contract, as well as tracking logs (Solidity events).
gradient-based symbolic execution engine implemented from scratch
Final project for the M.Sc. in Engineering in Computer Science at Università degli Studi di Roma "La Sapienza" (A.Y. 2016/2017).
TON Symbolic Analyzer
symbolic EVM execution engine written in Rust
Symbolic execution engine for Whitespace.
Repository for a functional attack on miasm's default symbolic execution engine plus solutions!