Greed
A symbolic execution engine for EVM smart contract binaries
| Project Name | Stars | Downloads | Repos Using This | Packages Using This | Most Recent Commit | Total Releases | Latest Release | Open Issues | License | Language |
|---|---|---|---|---|---|---|---|---|---|---|
| Mythril | 3,716 |  | 8 | 7 | 2 months ago | 310 | November 19, 2023 | 103 | mit | Python |
| Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Rootstock, Tron and other EVM-compatible blockchains. | ||||||||||
| Manticore | 3,535 |  | 1 | 1 | 9 months ago | 1,137 | December 09, 2023 | 264 | agpl-3.0 | Python |
| Symbolic execution tool | ||||||||||
| 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. | ||||||||||
| Ilf | 123 | a year ago | 1 | apache-2.0 | Python | |||||
| AI based fuzzer based on imitation learning | ||||||||||
| Optik | 73 | a year ago | 25 | other | Python | |||||
| Optik is a set of symbolic execution tools that assist smart-contract fuzzers | ||||||||||
| Greed | 16 | 5 months ago | 7 | mit | Python | |||||
| A symbolic execution engine for EVM smart contract binaries | ||||||||||
| Ethereum Bytecode Analyzer | 5 | 6 years ago | gpl-3.0 | Java | ||||||
| Find contracts in the Ethereum blockchain, analyze its bytecode and filter by JSON custom rules | ||||||||||
Alternatives To GreedSelect To Compare
Alternative Project Comparisons
Popular Smart Contracts Projects
Popular Symbolic Execution Projects
Popular Blockchain Categories
Related Searches
Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Python
Smart Contracts
Binary Analysis
Symbolic Execution