奥恩特 智能合约分析工具 该存储库当前由Xiao Liang Yu（ ）维护。 如果您遇到任何错误或使用问题，请随时在上创建。 快速开始 可以在找到配置了必需依赖项的容器。 但是图像已过时。 为了您的方便，我们正在努力将最新映像推送到dockerhub。 如果您对此映像遇到任何问题，请在打开问题之前尝试通过拉该代码库来构建新的Docker映像。 要打开容器，请安装docker并运行： docker pull luongnguyen/oyente && docker run -i -t l