ymerkli/smart-contract-taint-analysis

Static taint analyzer for Ethereum smart contracts written in Solidity

Python