The latest version of certora-cli-alpha-jtoman-source-copy-refactor with no known security vulnerabilities is 20230521.12.47.845196. We recommend installing version 20230521.12.47.845196.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.