Oyente
Symbolic Execution Tools
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.
Web3 dapps and developer tools related to Oyente
Discover blockchain applications that are frequently used with Oyente.
hevmFuzzing Tools
Debug, fuzz, or symbolically execute local code or mainnet state with a testing-oriented EVM.
Robot Framework Solidity Testing ToolkitWeb3 Testing Tools
Robot Framework Solidity Testing Toolkit combines smart contract testing and deployment libraries.
+1
ETH LiftWeb3 Testing Tools
A CLI toolkit that supports Foundry and Brownie projects.
Resources and Guides about Symbolic Execution Tools
Oyente Alternatives
Explore web3 competitors and apps like Oyente.
