几个不错的智能合约安全分析工具：

• https://github.com/trailofbits/manticore

• https://github.com/ConsenSys/mythril

• https://github.com/melonproject/oyente

• https://github.com/raineorshine/solgraph

• https://tool.smartdec.net/

Welcome to Hexo! This is your very first post. Check documentation for more info. If you get any problems when using Hexo, you can find the answer in troubleshooting or you can ask me on GitHub.

Quick Start

Create a new post

1

$ hexo new "My New Post"

More info: Writing

Run server

1

$ hexo server

More info: Server

Generate static files

1

$ hexo generate

More info: Generating

Deploy to remote sites

1

$ hexo deploy

More info: Deployment