"Securify" is a security scanner supported by the Ethereum Foundation and ChainSecurity. Currently it supports the automatic verification of 38 vulnerabilities from SWC Registry (Smart Contract Weakness Classification and Test Cases).

  • SRI Lab

You might also enjoy