The latest version of certora-cli-alpha-yuvalbd-non-empty-list-soundness with no known security vulnerabilities is 20230509.10.41.463517. We recommend installing version 20230509.10.41.463517.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.