securify2
Contract analyzer
An automated security scanner for Ethereum smart contracts
Securify v2.0
589 stars
26 watching
135 forks
Language: Solidity
last commit: almost 2 years ago
Linked from 2 awesome lists
datalogethereumsecuritysmart-contractsoliditystatic-analysisvulnerability
bkrem/awesome-solidity
saeidshirazi/awesome-smart-contract-securityRelated projects:
| Repository | Description | Stars |
|---|---|---|
| eth-sri/securify | A security scanner for Ethereum smart contracts | 219 |
 sri-csl/solidity | An automated verifier for the Solidity programming language used in smart contracts on the Ethereum platform. | 50 |
 raineorshine/solgraph | A tool for visualizing control flow and security vulnerabilities in smart contracts written in Solidity | 1,019 |
 ericr/sol-function-profiler | A tool to analyze and report on the functions of Ethereum smart contracts written in Solidity. | 81 |
 msuiche/porosity | A tool for analyzing and decomposing Ethereum smart-contract bytecode into readable Solidity syntax | 927 |
| eth-sri/zkay | Tools and language for compiling and deploying private smart contracts on the Ethereum blockchain | 83 |
 aniket-engg/sol-verifier | Tool to verify Solidity smart contracts on Etherscan | 30 |
 sec-bit/adelaide | An extension to the Solidity compiler for static analysis of smart contracts written in C++ | 19 |
 ethereum/sourcify | A decentralized service for verifying the integrity of smart contract source code on Ethereum. | 791 |
 decurity/semgrep-smart-contracts | Provides a set of security and performance rules for smart contract code. | 643 |
 tintinweb/solgrep | A tool for finding and analyzing smart contracts in Solidity source code | 145 |
 muellerberndt/smashing-smart-contracts | Security analysis and documentation of smart contracts on the Ethereum network | 169 |
 originprotocol/security | Provides security-related resources and tools for developers building smart contracts on the Ethereum blockchain | 200 |
| raineorshine/solidity-by-example | A collection of contract examples showcasing Solidity language features and use cases in Ethereum smart contracts | 430 |
 nascentxyz/pyrometer | Analyzes security and parameters of Solidity smart contracts using symbolic execution, abstract interpretation, and static analysis | 682 |