manticore
Manticore is a symbolic execution tool for analysis of binaries and smart contracts.
- Latest release
- Feb 27, 2024
- Releases
- 1221
- Known CVEs
- 0
- First release
- May 05, 2017
- License
- —
Repository
Source
- Stars
- —
- Forks
- —
- Open issues
- —
Security score
No OpenSSF Scorecard available for this repository.
Packages from this repo
No other tracked packages from this repository.
Insights
Activity
- Total releases
- 1221
- Last 12 months
- 0
- Cadence
- ~daily
- Dependencies
- 26
Releases per month
last 12 monthsRelease mix
- minor 2
- patch 22
- pre 1196
1221
releases
Dependencies
Depends on
0.3.8.dev240227-
black
~=22.0
-
capstone
==5.0.0rc2
-
coverage
-
crytic-compile
>=0.2.2
-
dataclasses
-
intervaltree
-
jinja2
-
keystone-engine
-
mypy
==0.790
-
ply
1–10 of 26
Used by
Nothing tracked depends on this yet.
Releases
| Version | Released | |
|---|---|---|
0.3.8.dev240227
pre
| ||
0.3.8.dev240226
pre
| ||
0.3.8.dev240225
pre
| ||
0.3.8.dev240223
pre
| ||
0.3.8.dev240222
pre
| ||
0.3.8.dev240221
pre
| ||
0.3.8.dev240220
pre
| ||
0.3.8.dev240218
pre
| ||
0.3.8.dev240217
pre
| ||
0.3.8.dev240216
pre
| ||
0.3.8.dev240215
pre
| ||
0.3.8.dev240214
pre
| ||
0.3.8.dev240213
pre
| ||
0.3.8.dev240212
pre
| ||
0.3.8.dev240211
pre
| ||
0.3.8.dev240210
pre
| ||
0.3.8.dev240209
pre
| ||
0.3.8.dev240208
pre
| ||
0.3.8.dev240207
pre
| ||
0.3.8.dev240206
pre
|
1–20 of 1221