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