The latest version of certora-cli-alpha-eyalf-show-skolem-in-calltrace with no known security vulnerabilities is 20230528.12.43.191738. We recommend installing version 20230528.12.43.191738.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.