| smartbugs/smartbugs |
487 |
|
0 |
0 |
over 2 years ago |
0 |
|
4 |
apache-2.0 |
Python |
| SmartBugs: A Framework to Analyze Ethereum Smart Contracts |
| sec-bit/awesome-buggy-erc20-tokens |
320 |
|
0 |
0 |
over 4 years ago |
0 |
|
6 |
cc0-1.0 |
Python |
| A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected |
| smartdec/smartcheck |
308 |
|
0 |
6 |
almost 3 years ago |
2 |
January 24, 2019 |
1 |
gpl-3.0 |
HTML |
| SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts). |
| cleanunicorn/karl |
300 |
|
0 |
0 |
almost 3 years ago |
0 |
|
16 |
mit |
Python |
| Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019. |
| eth-sri/securify2 |
208 |
|
0 |
0 |
about 4 years ago |
0 |
|
24 |
apache-2.0 |
Solidity |
| Securify v2.0 |
| BlockchainLabsNZ/awesome-solidity |
137 |
|
0 |
0 |
over 4 years ago |
0 |
|
3 |
|
|
| A curated list of awesome Solidity resources |
| nevillegrech/MadMax |
98 |
|
0 |
0 |
over 3 years ago |
0 |
|
2 |
bsd-3-clause |
|
| Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities |
| nongiach/awesome-cryptocurrency-security |
89 |
|
0 |
0 |
over 6 years ago |
0 |
|
0 |
|
|
| 😎 Curated list about cryptocurrency security (reverse / exploit / fuzz..) |
| Messi-Q/GraphDeeSmartContract |
84 |
|
0 |
0 |
about 3 years ago |
0 |
|
4 |
mit |
Python |
| Smart contract vulnerability detection using graph neural network (DR-GCN). |
| im-bug/BlockChain-Security-List |
65 |
|
0 |
0 |
almost 8 years ago |
0 |
|
0 |
|
|
