The latest version of certora-cli-alpha-naftali-library-methods-with-mapping with no known security vulnerabilities is 20221128.17.12. We recommend installing version 20221128.17.12.
The information on this page was curated by experts in our Cybersecurity Intelligence Team.