We use Slither, the Solidity source analyzer for preliminary smart contracts code audits.

Note: Slither is a Solidity static analysis framework written in Python3. It runs a suite of vulnerability detectors, prints visual information about contract details, and provides an API to easily write custom analyses. Slither enables developers to find vulnerabilities, enhance their code comprehension, and quickly prototype custom analyses.

What we audit:

  • Solidity code vulnerabilities with low false positives (read more)

Last updated