Solidity Static Analysis
Static analysis for Solidity smart contract with properties as symbolic automata.
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Scanners Box | 8,001 | 2 months ago | 2 | |||||||
| A powerful and open-source toolkit for hackers and security automation - 安全行业从业者自研开源扫描器合辑 | ||||||||||
| Securify2 | 208 | 2 years ago | 24 | apache-2.0 | Solidity | |||||
| Securify v2.0 | ||||||||||
| Securify | 168 | 4 years ago | 30 | apache-2.0 | Java | |||||
| [DEPRECATED] Security Scanner for Ethereum Smart Contracts | ||||||||||
| Smartmuv | 12 | 7 months ago | gpl-3.0 | Python | ||||||
| An EVM-compatible Solidity Smart Contract Storage/Slot Analyzer and Data Extractor. | ||||||||||
| Revive Cc | 9 | 4 years ago | gpl-3.0 | Go | ||||||
| Static analysis tool for Hyperledger Frabric smart contracts written in Go. | ||||||||||
| Solidity Cfg Builder | 9 | 5 years ago | 4 | bsd-3-clause | Haskell | |||||
| A control-flow graph builder for Solidity smart contracts. | ||||||||||
| Solidity Static Analysis | 5 | 5 years ago | bsd-3-clause | Haskell | ||||||
| Static analysis for Solidity smart contract with properties as symbolic automata. | ||||||||||
| Eburger | 5 | 5 months ago | agpl-3.0 | Python | ||||||
| eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts. | ||||||||||
Alternatives To Solidity Static AnalysisSelect To Compare
Alternative Project Comparisons
Popular Smart Contracts Projects
Popular Static Analysis Projects
Popular Blockchain Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Haskell
Ethereum
Solidity
Transition
Smart Contracts
Static Analysis