Klever 3.5

Added by Evgeny Novikov about 1 month ago

We released Klever 3.5 that has following noticeable changes:

  • Improving support for verification of Linux 5.10 and Linux 5.17 (new specifications set "5.17" was added).
  • Environment models generated at verification of Linux loadable kernel modules do not contain infinite loops anymore. This accelerated analysis and did not result in any degradation in the quality of verification results.
  • Using Ubuntu 20.04, Debian 11 and openSUSE 15.3 as preferable Linux distributions for deployment of Klever.
  • Switching to Python 3.10. You should carefully read this comment if you are going to update existing local instances of Klever.
  • Supporting regular expressions for assessing unsafes (you can see #11513 for more details).
  • Updating Klever Tutorial, in particular using verification of loadable kernel modules of Linux 5.5 as an example.
  • Updating add-ons and verification back-ends (various bug fixes and optimizations).
  • More advanced authorization of new users. Now the administrator should activate new users while somebody should grant them access to some jobs.

Many thanks to everybody involved!