SmartCheck

SmartCheck - is a static analyzer for Solidity programming language. It automatically checks Smart Contracts for vulnerabilities and bad practices, highlights them in the code and gives a detailed explanation of the problem. Free version of the tool is available online: you can scan your Solidity code right now. All you need to do is to upload the code of any contract written in Solidity (drop .sol files/folders or paste the code) , click “Submit for scan” button and wait for several seconds.