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.
-
Updated
Mar 17, 2025 - Python
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.
🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠
Ethereum smart contracts for security and utility tokens
A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected
Ethereum contract for Bitcoin SPV: Live on https://etherscan.io/address/0x41f274c0023f83391de4e0733c609df5a124c3d4
Sharing Updatable Models (SUM) on Blockchain
🐍Uniswap V1 smart contracts
Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)
Ethereum Virtual Machine transaction tracing tool
<블록체인의 정석 The Art of Blockchain>, <하이퍼레저 블록체인 개발 Hands-On Blockchain with Hyperledger> 소스코드 및 참고자료 저장소
Algorand Smart Contracts in Python
Python-based EOS smart-contract development & testing framework
Uniswap Universal Router SDK - Decode and Encode Transactions - Uniswap V2, V3 & V4
Xian Network node implementation based on CometBFT
A subset of Python for developing smart contracts on the Xian Network
Library for programming zk-SNARKs directly in Python
Static program analysis framework for Ethereum smart contract bytecode.
Solidity grammar for tree sitter
Add a description, image, and links to the smart-contracts topic page so that developers can more easily learn about it.
To associate your repository with the smart-contracts topic, visit your repo's landing page and select "manage topics."