7、以太坊智能合约(安全审计 和 测试工具)

安全审计 Security Audits

当你开发完智能合约后,可以交给专业的团队或者机构来审核你的智能合约,报告会指出有哪些漏洞?该如何修复等

  • Open Zeppelin
  • CoinFabrik
  • Quillhash


测试工具

  • Manticore 支持EVM的动态二进制分支工具
    • Input Generation: Manticore自动生成输入来触发独立的代码路径
    • Error Discovery: Manticore发现bug并生成触发他们所需要的输入
    • Execution Tracing: Manticore为每一个生成的输入记录执行的指令集跟踪
    • Programmatic Interface: Manticore通过Python API公开对其分析引擎的程序访问

  • Mythril 是一个以太坊区块链的逆向和bug捕获的框架
    • 安全的EVM字节码分析工具,支持由Ethereum、Quorum、Vechain、Roostock、Tron和一些其他的EVM兼容的区

你可能感兴趣的:(以太坊开发,区块链,智能合约)