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.7.dev210623 | Development | ||
| 0.3.7.dev210622 | Development | ||
| 0.3.7.dev210621 | Development | ||
| 0.3.7.dev210620 | Development | ||
| 0.3.7.dev210619 | Development | ||
| 0.3.7.dev210618 | Development | ||
| 0.3.7.dev210616 | Development | ||
| 0.3.7.dev210615 | Development | ||
| 0.3.7.dev210614 | Development | ||
| 0.3.7.dev210613 | Development | ||
| 0.3.7.dev210612 | Development | ||
| 0.3.7.dev210611 | Development | ||
| 0.3.6 | Stable | ||
| 0.3.5.dev210610 | Development | ||
| 0.3.5.dev210609 | Development | ||
| 0.3.5.dev210608 | Development | ||
| 0.3.5.dev210607 | Development | ||
| 0.3.5.dev210606 | Development | ||
| 0.3.5.dev210605 | Development | ||
| 0.3.5.dev210604 | Development | ||
| 0.3.5.dev210603 | Development | ||
| 0.3.5.dev210602 | Development | ||
| 0.3.5.dev210601 | Development | ||
| 0.3.5.dev210531 | Development | ||
| 0.3.5.dev210530 | Development |