Klever

Project information

Klever automates static verification of GNU C industrial systems such as Linux kernel code against a variety of requirements. It employs software model checkers, primarily CPAchecker, to find memory safety errors, data races, and incorrect API usage, that are hard to detect otherwise.

static analysis verification

10,248 Commits
29 Branches
64 Tags

README
Apache License 2.0
CHANGELOG

Created on

June 21, 2023

Copy SSH clone URLgit@gitlab.ispras.ru:verification/klever.git
Copy HTTPS clone URLhttps://gitlab.ispras.ru/verification/klever.git

Loading