The latest version of certora-cli-alpha-master with no known security vulnerabilities is 20241212.19.10.637506. We recommend installing version 20241212.19.10.637506.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.
- Latest release
-
v20241212.19.10.637506 at Dec. 12, 2024
- License
-
MIT (MIT License)
Description
Runner for the Certora Prover
No known vulnerabilities found
Has known vulnerabilities
- 20241212.19.10.637506
- 20241212.12.57.306117
- 20241212.12.14.839611
- 20241212.11.29.366228
- 20241212.8.37.214730
- 20241212.8.4.42377
- 20241212.2.36.560378
- 20241212.0.41.249619
- 20241211.21.44.411478
- 20241211.9.2.896840
- 20241210.15.59.808437
- 20241210.15.23.25561
- 20241210.12.57.884822
- 20241209.18.23.861742
- 20241209.17.51.352195
- 20241209.13.53.11940
- 20241209.13.23.365243
- 20241209.2.43.575197
- 20241208.14.4.390160
- 20241208.12.5.440577