Pakala
Offensive vulnerability scanner for ethereum, and symbolic execution tool for the Ethereum Virtual Machine
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Not So Smart Contracts | 2,082 | a year ago | 11 | apache-2.0 | Solidity | |||||
| Examples of Solidity security issues | ||||||||||
| Solidity Security Blog | 835 | 2 years ago | 5 | other | ||||||
| Comprehensive list of known attack vectors and common anti-patterns | ||||||||||
| Smartbugs | 487 | 5 months ago | 4 | apache-2.0 | Python | |||||
| SmartBugs: A Framework to Analyze Ethereum Smart Contracts | ||||||||||
| Awesome Buggy Erc20 Tokens | 320 | 2 years ago | 6 | cc0-1.0 | Python | |||||
| A Collection of Vulnerabilities in ERC20 Smart Contracts With Tokens Affected | ||||||||||
| Smartcheck | 308 |  | 6 | a year 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). | ||||||||||
| Karl | 300 | a year ago | 16 | mit | Python | |||||
| Monitor smart contracts deployed on blockchain and test against vulnerabilities with Mythril. It was presented at DEFCON 2019. | ||||||||||
| Securify2 | 208 | 2 years ago | 24 | apache-2.0 | Solidity | |||||
| Securify v2.0 | ||||||||||
| Awesome Solidity | 137 | 3 years ago | 3 | |||||||
| A curated list of awesome Solidity resources | ||||||||||
| Madmax | 98 | a year ago | 2 | bsd-3-clause | ||||||
| Ethereum Static Vulnerability Detector for Gas-Focussed Vulnerabilities | ||||||||||
| Awesome Cryptocurrency Security | 89 | 4 years ago | ||||||||
| 😎 Curated list about cryptocurrency security (reverse / exploit / fuzz..) | ||||||||||
Alternatives To PakalaSelect To Compare
Alternative Project Comparisons
Popular Ethereum Projects
Popular Vulnerabilities Projects
Popular Blockchain Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Python
Security
Ethereum
Vulnerabilities
Evm
Vulnerability Scanner
Security Scanner
Symbolic Execution