Solidity · Audit

Audit

• crytic/slither on GitHub, opens in a new tab

  6.3Kstars

  Static analyzer with support for many common bug types, including visualization tools for security-relevant information.

  Python·GNU Affero General Public License v3.0·active·5 days ago

• trailofbits/manticore on GitHub, opens in a new tab

  3.9Kstars

  Detects many common bug types and can prove correctness properties with symbolic execution.

  Python·GNU Affero General Public License v3.0·active·2 months agoarchived

• crytic/echidna on GitHub, opens in a new tab

  3.2Kstars

  Define properties for your smart contract then use fuzzing to catch security bugs.

  Haskell·GNU Affero General Public License v3.0·active·3 days ago

• Cyfrin/aderyn on GitHub, opens in a new tab

  793stars

  Rust-based open-source static analyzer for finding vulnerabilities in smart contracts.

  Rust·GNU General Public License v3.0·active·yesterday

• eth-sri/securify2 on GitHub, opens in a new tab

  636stars

  Tool for analyzing smart contracts for vulnerabilities and insecure coding.

  Solidity·Apache License 2.0·slowing·last year

• a16z/metamorphic-contract-detector on GitHub, opens in a new tab

  165stars

  Check whether a given contract exhibits red flags that could indicate the potential for metamorphism instead of immutability.

  Python·MIT License·dormant·4 years agoarchived