solcurity
Contract review framework
An opinionated security and code quality standard for Solidity smart contracts.
Opinionated security and code quality standard for Solidity smart contracts.
2k stars
40 watching
263 forks
last commit: over 1 year ago
Linked from 4 awesome lists
kristories/awesome-guidelines
bkrem/awesome-solidity
tamjid0x01/smartcontracts-audit-checklist
kareniel/awesome-evm-securityRelated projects:
| Repository | Description | Stars |
|---|---|---|
 sri-csl/solidity | An automated verifier for the Solidity programming language used in smart contracts on the Ethereum platform. | 50 |
 decurity/semgrep-smart-contracts | Provides a set of security and performance rules for smart contract code. | 632 |
| transmissions11/foundry-template | A streamlined template for creating smart contracts with Foundry and Solmate | 163 |
 solidstate-network/solidstate-solidity | A comprehensive development library for building and testing upgradeable Solidity smart contracts on the Ethereum blockchain. | 440 |
 ethereum/solc-js | A JavaScript interface to a compiler for the Solidity programming language used in Ethereum smart contracts. | 1,456 |
 techrate/smart-contract-audits | Provides comprehensive security audit reports for smart contracts on various blockchain platforms. | 571 |
 eth-sri/securify2 | An automated security scanner for Ethereum smart contracts | 588 |
 arbitraryexecution/publications | A collection of security assessments and presentations related to smart contracts and blockchain technology | 5 |
 willitscale/learning-solidity | A comprehensive resource for learning Solidity programming language and building smart contracts on the Ethereum blockchain | 2,072 |
 runtimeverification/verified-smart-contracts | Formally verified smart contracts for blockchain applications | 718 |
 geekshiv/smart-contract-hacking | A collection of resources and information on the topic of smart contract security testing and vulnerabilities. | 235 |
 cryptofinlabs/cryptofin-solidity | A collection of Solidity libraries for building secure and gas-efficient smart contracts on Ethereum | 88 |
 tintinweb/solgrep | A tool for finding and analyzing smart contracts in Solidity source code | 143 |
 jg8481/robot-framework-solidity-testing-toolkit | A toolkit combining Solidity testing and cross-chain deployment tools with Robot Framework for developing robust and secure smart contract applications on Ethereum and other EVM-compatible blockchains. | 11 |
 juanfranblanco/vscode-solidity | A Visual Studio Code extension providing language support and tools for smart contract development in Ethereum using the Solidity programming language. | 904 |