SmartCheck is an open source engine that automatically checks Smart Contracts for vulnerabilities and bad practices – it highlights them in the code and gives a detailed explanation of the problem.
SmartCheck is an easy and very informative analysis performing a check for an ample list of known vulnerabilities and issues
- Create account at https://tool.smartdec.net/
- Click on Start Scan and drag-and-drop/browse-select contracts (.sol files from /contracts/core)
- Run scan. Easy-peasey.
- Provides specific errors, error location, severity and information on issue including mitigation recommendations.