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