ConsenSysDiligence / suryaLinks
A set of utilities for exploring Solidity contracts
☆1,146Updated 9 months ago
Alternatives and similar repositories for surya
Users that are interested in surya are comparing it to the libraries listed below
Sorting:
- Smart Contract Weakness Classification and Test Cases☆874Updated 10 months ago
- Manage and switch between Solidity compiler versions☆780Updated 2 months ago
- Comprehensive list of known attack vectors and common anti-patterns☆1,476Updated 2 years ago
- Securify v2.0☆612Updated 3 weeks ago
- Opinionated security and code quality standard for Solidity smart contracts.☆2,123Updated last year
- EVM dissassembler☆857Updated last year
- A Docker container preconfigured with all of the Trail of Bits Ethereum security tools.☆698Updated 2 months ago
- 🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠☆1,568Updated 11 months ago
- A curated list of awesome Ethereum security references☆1,383Updated 10 months ago
- Solhint is an open-source project to provide a linting utility for Solidity code.☆1,080Updated this week
- Solidity language support and visual security auditor for Visual Studio Code☆594Updated last year
- Code coverage for Solidity smart-contracts☆996Updated last month
- Smart contracts which are formally verified☆737Updated 2 years ago
- Smart Contract Security Verification Standard☆629Updated 2 years ago
- Guidelines and training material to write secure smart contracts☆2,356Updated 2 months ago
- A collection of practical security-focused guides and checklists for smart contract development☆1,135Updated last year
- A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected☆624Updated last year
- Dapp, Seth, Hevm, and more☆2,126Updated 3 months ago
- Visualize Solidity control flow for smart contract security analysis. ⇆☆1,033Updated 2 years ago
- A Solidity smart contract auditing checklist☆360Updated 2 years ago
- Ethereum smart contract fuzzer☆2,925Updated this week
- A collection of EVM puzzles☆836Updated last year
- A quick reference for EVM opcodes☆790Updated 10 months ago
- Upgradeable variant of OpenZeppelin Contracts, meant for use in upgradeable contracts.☆1,070Updated this week
- weird erc20 tokens☆1,563Updated 3 weeks ago
- ☆716Updated 11 months ago
- MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts☆563Updated last year
- Solidity library for advanced fixed-point math☆946Updated 2 months ago
- SmartBugs: A Framework to Analyze Ethereum Smart Contracts☆625Updated this week
- Utility Solidity library composed of basic operations for tightly packed bytes arrays☆536Updated last month