The latest version of certora-cli-alpha-gereon-cert-2123-use-reset-assertions with no known security vulnerabilities is 20230516.11.1.160371. We recommend installing version 20230516.11.1.160371.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.