securify
Smart contract analyzer
A security scanner for Ethereum smart contracts
[DEPRECATED] Security Scanner for Ethereum Smart Contracts
219 stars
12 watching
50 forks
Language: Java
last commit: about 5 years ago
Linked from 1 awesome list
chainsecuritydatalogdepricatedethereumevmobsoletesecuritysmart-contractsoliditystatic-analysis
crytic/awesome-ethereum-securityRelated projects:
| Repository | Description | Stars |
|---|---|---|
| eth-sri/securify2 | An automated security scanner for Ethereum smart contracts | 589 |
| eth-sri/zkay | Tools and language for compiling and deploying private smart contracts on the Ethereum blockchain | 83 |
 muellerberndt/smashing-smart-contracts | Security analysis and documentation of smart contracts on the Ethereum network | 169 |
 raineorshine/solgraph | A tool for visualizing control flow and security vulnerabilities in smart contracts written in Solidity | 1,019 |
 msuiche/porosity | A tool for analyzing and decomposing Ethereum smart-contract bytecode into readable Solidity syntax | 927 |
 decurity/semgrep-smart-contracts | Provides a set of security and performance rules for smart contract code. | 643 |
 sri-csl/solidity | An automated verifier for the Solidity programming language used in smart contracts on the Ethereum platform. | 50 |
 aniket-engg/sol-verifier | Tool to verify Solidity smart contracts on Etherscan | 30 |
 originprotocol/security | Provides security-related resources and tools for developers building smart contracts on the Ethereum blockchain | 200 |
 rust-ethereum/ethabi | Encodes and decodes function calls and their output in smart contracts | 518 |
 ericr/sol-function-profiler | A tool to analyze and report on the functions of Ethereum smart contracts written in Solidity. | 81 |
 fuzzinglabs/thoth | An all-in-one security toolkit for analyzing and decoding smart contract bytecode | 249 |
 pessimistic-io/slitherin | Automated code audit tools for Ethereum smart contracts | 356 |
 smartbugs/smartbugs | An open-source framework for analyzing Ethereum smart contracts for weaknesses and vulnerabilities | 581 |
 shanzson/smart-contract-auditor-tools-and-techniques | A comprehensive collection of tools and techniques for auditing and securing smart contracts on the Ethereum blockchain. | 642 |