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