ConsenSysDiligence / suryaLinks
A set of utilities for exploring Solidity contracts
☆1,152Updated 3 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☆888Updated last year
- Comprehensive list of known attack vectors and common anti-patterns☆1,493Updated 3 years ago
- A curated list of awesome Ethereum security references☆1,418Updated last year
- A Docker container preconfigured with all of the Trail of Bits Ethereum security tools.☆720Updated 3 weeks ago
- Manage and switch between Solidity compiler versions☆790Updated 2 weeks ago
- Securify v2.0☆622Updated 4 months ago
- EVM dissassembler☆854Updated 2 years ago
- Solidity language support and visual security auditor for Visual Studio Code☆599Updated last year
- Smart contracts which are formally verified☆741Updated 3 years ago
- Code coverage for Solidity smart-contracts☆1,002Updated 4 months ago
- Guidelines and training material to write secure smart contracts☆2,393Updated 3 weeks ago
- A quick reference for EVM opcodes☆797Updated last year
- 🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠☆1,576Updated last year
- Solhint is an open-source project to provide a linting utility for Solidity code.☆1,098Updated 2 weeks ago
- A collection of EVM puzzles☆841Updated 2 years ago
- A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected☆628Updated last year
- Blockchain educational resources curated by the OpenZeppelin team☆776Updated 2 years ago
- A Solidity smart contract auditing checklist☆361Updated 2 years ago
- Opinionated security and code quality standard for Solidity smart contracts.☆2,138Updated 2 years ago
- Smart Contract Security Verification Standard☆631Updated 2 years ago
- Visualize Solidity control flow for smart contract security analysis. ⇆☆1,031Updated 2 years ago
- Ethereum opcodes and instruction reference☆1,355Updated last year
- ☆729Updated last year
- Dapp, Seth, Hevm, and more☆2,132Updated 7 months ago
- Ethereum smart contract fuzzer☆2,997Updated this week
- MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts☆568Updated last year
- Examples of Solidity security issues☆2,221Updated 2 years ago
- A collection of practical security-focused guides and checklists for smart contract development☆1,176Updated last year
- weird erc20 tokens☆1,619Updated 4 months ago
- Utility Solidity library composed of basic operations for tightly packed bytes arrays☆550Updated 4 months ago