solidity
Contract verifier
An automated verifier for the Solidity programming language used in smart contracts on the Ethereum platform.
This is solc-verify, a modular verifier for Solidity.
50 stars
16 watching
14 forks
Language: C++
last commit: about 1 year ago
Linked from 3 awesome lists
ethereumformal-specificationformal-verificationsolidity
offciercia/defi-developer-road-map
ahmet/awesome-web3Related projects:
| Repository | Description | Stars |
|---|---|---|
 aniket-engg/sol-verifier | Tool to verify Solidity smart contracts on Etherscan | 30 |
 ethereum/sourcify | A decentralized service for verifying the integrity of smart contract source code on Ethereum. | 782 |
 eth-sri/securify2 | An automated security scanner for Ethereum smart contracts | 588 |
| eth-sri/securify | A security scanner for Ethereum smart contracts | 218 |
| ethereum/solc-js | A JavaScript interface to a compiler for the Solidity programming language used in Ethereum smart contracts. | 1,456 |
 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 |
 lukehedger/sulk | A tool that automates the process of compiling Solidity smart contracts with configuration stored in separate files. | 9 |
 eagr/sol-repl | A tool that provides an interactive environment to experiment with Solidity snippets and execute smart contract code in Ethereum | 4 |
 solidstate-network/solidstate-solidity | A comprehensive development library for building and testing upgradeable Solidity smart contracts on the Ethereum blockchain. | 440 |
 sec-bit/tokenlibs-with-proofs | Verifies the correctness of Ethereum token contracts using formal methods and proof assistants. | 98 |
 merklejerk/solpp | A preprocessor and flattener for Ethereum's Solidity source files | 112 |
 transmissions11/solcurity | An opinionated security and code quality standard for Solidity smart contracts. | 2,052 |
 decurity/semgrep-smart-contracts | Provides a set of security and performance rules for smart contract code. | 632 |
 tintinweb/solgrep | A tool for finding and analyzing smart contracts in Solidity source code | 143 |
 praneshasp/vscode-solidity-inspector | A VSCode extension for smart-contract development utilities, including optimization and debugging tools. | 126 |