Oyente

Oyente

LAUNCH PARTNER

Oyente

Oyente is a smart contract analysis tool built in 2016 to detect security vulnerabilities.

What is Oyente?

Built by Loi Luu and his team at the National University of Singapore, Oyente is a symbolic analysis tool to catch security vulnerabilities in Ethereum contracts and EVM bytecode.  Developers can use Oyente to evaluate local and remote contracts and verify assertions for those contracts.   The full installation is dependent on packages such as Web3.js, Z3 Theorem Prover.  One of the oldest contract analyzers around projects like Quantstamp and Augur have used Oyenete since their inception.

User Interface of crypto currency wallet

Sign up for a free Alchemy Account

User Interface of crypto currency wallet

Web3 Dapps and Developer Tools Related To Oyente

Smart Contract Tools
Typescript-compatible smart contract testing library for Ethereum that works with ethers.js.
Chains
Ethereum
Learn More
Smart Contract Tools
An Ethereum CLI from DappHub to query contracts, send transactions, follow logs and manipulate data.
Chains
Ethereum
Learn More
Static Analysis Tools
Solidity static analysis framework and vulnerability detectors for auditing smart contracts.
Chains
Ethereum
Learn More

Best Symbolic Execution Tools

Discover more web3 applications and developer tools.

Build blockchain magic with Alchemy

Alchemy combines the most powerful web3 developer products and tools with resources, community and legendary support.