The latest version of certora-cli-alpha-eric-toolchain with no known security vulnerabilities is 20230515.18.52.147947. We recommend installing version 20230515.18.52.147947.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.