Oyente

Oyente是一个智能合约漏洞分析工具。