Manticore is a symbolic execution tool for analysis of binaries and smart contracts.
Project description
The author of this package has not provided a project description
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
| Filename, size | File type | Python version | Upload date | Hashes |
|---|---|---|---|---|
| Filename, size manticore-0.1.6.tar.gz (704.9 kB) | File type Source | Python version None | Upload date | Hashes View |
