The latest version of certora-cli with no known security vulnerabilities is 7.21.1. We recommend installing version 7.21.1.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.
- Latest release
-
v7.21.1 at Dec. 12, 2024
- License
-
MIT (MIT License)
Description
Runner for the Certora Prover
No known vulnerabilities found
Has known vulnerabilities
- 7.21.1
- 7.20.3
- 7.20.1
- 7.17.2
- 7.14.3
- 7.14.2
- 7.10.2
- 7.10.1
- 7.6.3
- 7.3.0
- 7.0.7
- 6.3.1
- 6.1.4
- 6.1.3
- 5.0.5
- 4.13.1
- 4.12.1
- 4.10.1
- 4.8.0
- 4.5.1