Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org : pakala
An EVM symbolic execution tool and vulnerability scanner
Registry
-
Source
- Documentation
- JSON
purl: pkg:pypi/pakala
Keywords: ethereum, evm, symbolic, execution, vulnerability, scanner, ethereum-virtual-machine, security, security-scanner, symbolic-execution
License: GPL-2.0
Latest release: over 4 years ago
First release: over 5 years ago
Dependent repositories: 1
Downloads: 171 last month
Stars: 330 on GitHub
Forks: 30 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 23 days ago