enzymefinance / oyente
An Analysis Tool for Smart Contracts
☆1,317Updated last year
Related projects ⓘ
Alternatives and complementary repositories for oyente
- Visualize Solidity control flow for smart contract security analysis. ⇆☆1,018Updated last year
- MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts☆556Updated last year
- (Formerly Solium) Code quality & Security Linter for Solidity☆927Updated last year
- Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other …☆3,885Updated last month
- Examples of Solidity security issues☆2,158Updated last year
- Provable API for Ethereum smart contracts☆802Updated 5 months ago
- Code coverage for Solidity smart-contracts☆979Updated 2 months ago
- Smart Contract Weakness Classification and Test Cases☆848Updated 3 months ago
- *UNMAINTAINED* Decompiler and Security Analysis tool for Blockchain-based Ethereum Smart-Contracts☆927Updated 5 years ago
- A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected☆614Updated 9 months ago
- A set of utilities for exploring Solidity contracts☆1,088Updated 2 months ago
- EVM disassembler☆546Updated 2 years ago
- Manage and switch between Solidity compiler versions☆755Updated 11 months ago
- Basic string utilities for Solidity☆1,137Updated last year
- EVM dissassembler☆843Updated last year
- Ethereum smart contract fuzzer☆2,751Updated this week
- A curated list of awesome Ethereum security references☆1,322Updated 3 months ago
- Dapp, Seth, Hevm, and more☆2,098Updated last year
- Solhint is an open-source project to provide a linting utility for Solidity code.☆1,040Updated 3 months ago
- RANDAO: A DAO working as RNG of Ethereum☆841Updated last year
- Securify v2.0☆588Updated 11 months ago
- Allows multiple parties to agree on transactions before execution.☆1,083Updated 3 years ago
- Loose collection of Solidity example code☆536Updated last year
- Composable building blocks for Ethereum contracts☆581Updated 2 years ago
- Comprehensive list of known attack vectors and common anti-patterns☆1,414Updated 2 years ago
- Web3/Solidity based wargame☆1,989Updated this week
- 🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠☆1,516Updated 4 months ago
- A place for all the ÐApps to live☆1,029Updated 5 months ago
- Rewrite of the Yellowpaper in non-Yellowpaper syntax.☆790Updated 5 years ago