Klever

In our paper I with Ilja suggested to early set verdict Safe for verification tasks that don't invoke API which usage is checked. This will extremely simplify checking of rules which aren't relevant for the most of Linux kernel modules. Moreover we will be able to get rid of annoying bugs from CIF, CIL and CPAchecker, for instance, parsing errors without much efforts (for relevant modules-rules these bugs will still exist).