About Project

A static analysis tool that detects vulnerabilities and bugs in Solidity programs.

SmartCheck automatically checks Smart Contracts for vulnerabilities and bad practices – it highlights them in the code and gives a detailed explanation of the problem. We already use it in our security audits. SmartCheck engine is now open source

Platforms