Smart contract analysis on Ethereum