The latest version of certora-cli-alpha-naftali-support-constant-sumary-for-all-non-dynamic-returns with no known security vulnerabilities is 20230511.6.27.81965. We recommend installing version 20230511.6.27.81965.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.