crytic / solc-selectLinks
Manage and switch between Solidity compiler versions
☆790Updated 3 weeks ago
Alternatives and similar repositories for solc-select
Users that are interested in solc-select are comparing it to the libraries listed below
Sorting:
- A set of utilities for exploring Solidity contracts☆1,152Updated 3 months ago
- Smart Contract Weakness Classification and Test Cases☆888Updated last year
- Code coverage for Solidity smart-contracts☆1,002Updated 5 months ago
- EVM dissassembler☆854Updated 2 years ago
- Securify v2.0☆623Updated 4 months ago
- A quick reference for EVM opcodes☆797Updated last year
- A Docker container preconfigured with all of the Trail of Bits Ethereum security tools.☆720Updated last month
- Solhint is an open-source project to provide a linting utility for Solidity code.☆1,098Updated 3 weeks ago
- A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected☆628Updated last year
- Utility Solidity library composed of basic operations for tightly packed bytes arrays☆550Updated 4 months ago
- 🐦🌴🌴🌴🦕 A home for ethereum smart contracts. 🏠☆1,576Updated last year
- Ethereum opcodes and instruction reference☆1,358Updated last year
- Comprehensive list of known attack vectors and common anti-patterns☆1,492Updated 3 years ago
- Solidity language support and visual security auditor for Visual Studio Code☆599Updated last year
- Upgradeable variant of OpenZeppelin Contracts, meant for use in upgradeable contracts.☆1,107Updated this week
- Smart contracts which are formally verified☆741Updated 3 years ago
- Solidity library for advanced fixed-point math☆965Updated last week
- A curated list of awesome Ethereum security references☆1,418Updated last year
- Source for evm.codes an Ethereum Virtual Machine Opcodes Interactive Reference☆797Updated this week
- A collection of EVM puzzles☆841Updated 2 years ago
- A Solidity smart contract auditing checklist☆361Updated 2 years ago
- Guidelines and training material to write secure smart contracts☆2,393Updated 3 weeks ago
- MAIAN: automatic tool for finding trace vulnerabilities in Ethereum smart contracts☆568Updated last year
- An interactive Solidity Shell☆543Updated 2 years ago
- Visualize Solidity control flow for smart contract security analysis. ⇆☆1,031Updated 2 years ago
- SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).☆391Updated 2 years ago
- Dapp, Seth, Hevm, and more☆2,132Updated 7 months ago
- Assertion library for Ethereum smart contract testing☆415Updated last year
- Documentation generator for Solidity projects☆462Updated last week
- EVM disassembler☆566Updated 3 years ago