Solidity audit tool

At the core of many blockchain applications are smart contracts, self-executing contracts with terms directly written into code. However, the code-based nature of…