Tag
#symbolic-execution
27 repositories
Repos
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.
Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine
Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019.
Cairo/Starknet security toolkit (bytecode analyzer, disassembler, decompiler, symbolic execution, SBMC)
Optik is a set of symbolic execution tools that assist smart-contract fuzzers
Track the values and addresses of slots (storage variables in Solidity) inside the Ethereum contract, as well as tracking logs (Solidity events).
Symbolic Execution Benchmarks for Ethereum Smart Contracts
SaaS Platform for Identification & Curtailment of Honeypots in Ethereum-based Smart Contracts using Machine Learning and Code Analysis
Find contracts in the Ethereum blockchain, analyze its bytecode and filter by JSON custom rules
A symbolic execution tool for Move, which is a smart contract language designed for Facebook Diem.
YulTracer is a game-semantics-based bounded safety (assertion) checker for Yul written in OCaml and compiled using the Dune build system.
Symbolic Executor for the High-Level Transformation Language TRON
Assignment 2 for Penetration Testing — Advanced Blockchain Security assessment of the UnstoppableVault smart contract (Damn Vulnerable DeFi v4) using Slither, Foundry, Mythril, Manticore, and Echidna. 48 vulnerabilities identified including 2 HIGH severity findings (arbitrary transferFrom & controlled delegatecall).