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. |