slitherin
Contract auditor
Automated code audit tools for Ethereum smart contracts
Slither Detectors by Pessimistic.io
356 stars
7 watching
62 forks
Language: Python
last commit: over 1 year ago
Linked from 3 awesome lists
ethereumpluginslithersoliditystatic-analysis
offciercia/defi-developer-road-mapRelated projects:
| Repository | Description | Stars |
|---|---|---|
 eth-sri/securify | A security scanner for Ethereum smart contracts | 219 |
| eth-sri/securify2 | An automated security scanner for Ethereum smart contracts | 589 |
 merklejerk/solpp | A preprocessor and flattener for Ethereum's Solidity source files | 112 |
 raineorshine/solgraph | A tool for visualizing control flow and security vulnerabilities in smart contracts written in Solidity | 1,019 |
 meherett/pytest-solidity | Tests smart contracts written in Solidity on the Ethereum blockchain | 27 |
 openzeppelin/openzeppelin-test-helpers | Assists in testing Ethereum smart contracts | 415 |
 crytic/slither | Analyzes smart contract code for vulnerabilities and provides detailed information about contracts. | 5,394 |
 rust-ethereum/ethabi | Encodes and decodes function calls and their output in smart contracts | 518 |
| raineorshine/solidity-by-example | A collection of contract examples showcasing Solidity language features and use cases in Ethereum smart contracts | 430 |
 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 |
 ivicanikolicsg/maian | Automated tool for detecting bugs in smart contracts on the Ethereum blockchain | 557 |
 aniket-engg/sol-verifier | Tool to verify Solidity smart contracts on Etherscan | 30 |
 opencorech/smart-contract-auditing-heuristics | A collection of general guidelines and pitfalls to consider when auditing smart contracts | 578 |
 duaraghav8/ethlint | Analyzes Solidity code for style and security issues and fixes them. | 927 |
 msuiche/porosity | A tool for analyzing and decomposing Ethereum smart-contract bytecode into readable Solidity syntax | 927 |