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