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