| We5ter/Scanners-Box |
7,739 |
|
0 |
0 |
over 2 years ago |
0 |
|
2 |
|
|
| A powerful and open-source toolkit for hackers and security automation - 安全行业从业者自研开源扫描器合辑 |
| eth-sri/securify2 |
208 |
|
0 |
0 |
over 4 years ago |
0 |
|
24 |
apache-2.0 |
Solidity |
| Securify v2.0 |
| eth-sri/securify |
168 |
|
0 |
0 |
over 6 years ago |
0 |
|
30 |
apache-2.0 |
Java |
| [DEPRECATED] Security Scanner for Ethereum Smart Contracts |
| WaizKhan7/SmartMuv |
12 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
gpl-3.0 |
Python |
| An EVM-compatible Solidity Smart Contract Storage/Slot Analyzer and Data Extractor. |
| sivachokkapu/revive-cc |
9 |
|
0 |
0 |
almost 6 years ago |
0 |
|
0 |
gpl-3.0 |
Go |
| Static analysis tool for Hyperledger Frabric smart contracts written in Go. |
| shaunazzopardi/solidity-cfg-builder |
9 |
|
0 |
0 |
over 6 years ago |
0 |
|
4 |
bsd-3-clause |
Haskell |
| A control-flow graph builder for Solidity smart contracts. |
| forefy/eburger |
5 |
|
0 |
0 |
over 2 years ago |
0 |
|
0 |
agpl-3.0 |
Python |
| eBurger is a static analysis tool that provides a way to quickly query and analyze solidity smart contracts. |
| shaunazzopardi/solidity-static-analysis |
5 |
|
0 |
0 |
over 6 years ago |
0 |
|
0 |
bsd-3-clause |
Haskell |
| Static analysis for Solidity smart contract with properties as symbolic automata. |
