| crytic/slither |
4,802 |
|
8 |
7 |
about 2 years ago |
38 |
October 18, 2023 |
444 |
agpl-3.0 |
Python |
| Static Analyzer for Solidity and Vyper |
| pessimistic-io/slitherin |
313 |
|
0 |
0 |
about 2 years ago |
7 |
December 07, 2023 |
4 |
agpl-3.0 |
Python |
| Slither Detectors by Pessimistic.io |
| wyvernprotocol/wyvern-v3 |
288 |
|
0 |
0 |
about 3 years ago |
0 |
|
31 |
mit |
JavaScript |
| Wyvern Protocol v3.1, Ethereum implementation |
| eth-sri/securify2 |
208 |
|
0 |
0 |
about 4 years ago |
0 |
|
24 |
apache-2.0 |
Solidity |
| Securify v2.0 |
| eth-sri/securify |
168 |
|
0 |
0 |
about 6 years ago |
0 |
|
30 |
apache-2.0 |
Java |
| [DEPRECATED] Security Scanner for Ethereum Smart Contracts |
| tintinweb/ethereum-dasm |
75 |
|
5 |
10 |
almost 7 years ago |
6 |
July 06, 2019 |
2 |
gpl-2.0 |
Python |
| An ethereum evm bytecode disassembler and static/dynamic analysis tool |
| crytic/slither-vscode |
22 |
|
0 |
0 |
about 3 years ago |
0 |
|
17 |
agpl-3.0 |
TypeScript |
| Visual Studio Code integration for Slither, a Solidity static analysis framework |
| 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. |
| MiloTruck/regast |
12 |
|
0 |
0 |
over 2 years ago |
0 |
|
1 |
|
Python |
| A static analyzer for Solidity, built upon regex and ASTs. |
| unpackdev/solgo |
11 |
|
0 |
0 |
over 2 years ago |
17 |
November 14, 2023 |
25 |
apache-2.0 |
Go |
| Solidity parser in Go, designed to transform Solidity code into a structured format for enhanced analysis, particularly beneficial for developers using Go to analyze Solidity smart contracts. |
