Feature #9599
Updated by Evgeny Novikov about 5 years ago
Basic verification includes just generating complete build bases (configuration _allmodconfig_, architecture _x86_64_) _x86_64_ ) and less than 100% failures before CPAchecker. I will initiate verification of all drivers against one API rule and check for memory safety without any analysis of verification results. Maybe I will report some outstanding issues in CPAchecker or somebody will look at them.