oyente

Oyente 是一个面向以太坊智能合约的静态安全分析工具，用于自动检测重入、整数溢出、时间戳依赖等常见漏洞。它基于符号执行技术，集成 Z3 定理证明器进行路径约束求解，并支持 Solidity 源码及 EVM 字节码输入，提供命令行与 Web 图形界面两种使用方式。适用于区块链开发者的合约安全审计、教学演示及学术研究等场景，帮助在部署前识别潜在安全风险。