4 ms·

Yes there are: https://scan.coverity.com/projects/linux https://scan.coverity.com/projects/linux

• rootw0rm 10y ago
  100% code coverage for symbolic execution of the kernel seems a bit optimistic, no?