Feature #9599
Updated by Evgeny Novikov about 5 years ago
Basic verification includes just generating complete build bases (configuration _allmodconfig_, architecture _x86_64_, GCC 7, Clade 3.0.2, CIF 405fbb86) _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.