替代方案

mythril

ConsenSysDiligence/mythril

Mythril is a symbolic-execution-based securty analysis tool for EVM bytecode. It detects security vulnerabilities in smart contracts built for Ethereum and other EVM-compatible blockchains.

标签

  • security-analysis
  • ethereum
  • blockchain
  • smart-contracts
  • solidity
  • program-analysis
  • security
  • symbolic-execution