Releases1.22K
Frequency2 days
Last Release
Manticore is a symbolic execution tool for analysis of binaries and smart contracts.
Subscribe above to receive notifications when new versions are released.
| Version | Date | Stability Stability is determined by the version string and my be inaccurate. | |
|---|---|---|---|
| 0.3.3 | Stable | ||
| 0.3.2.1 | Stable | ||
| 0.3.2 | Stable | ||
| 0.3.1 | Stable | ||
| 0.3.0 | Stable | ||
| 0.2.5 | Stable | ||
| 0.2.4 | Stable | ||
| 0.2.3 | Stable | ||
| 0.2.2 | Stable | ||
| 0.2.1.1 | Stable | ||
| 0.2.0 | Stable | ||
| 0.1.10 | Stable | ||
| 0.1.9 | Stable | ||
| 0.1.8 | Stable | ||
| 0.1.7 | Stable | ||
| 0.1.6 | Stable | ||
| 0.1.5 | Stable | ||
| 0.1.4 | Stable | ||
| 0.1.3 | Stable | ||
| 0.1.2 | Stable | ||
| 0.1.1 | Stable |