Y
Hacker News
new
|
ask
|
show
|
jobs
by
BuuQu9hu
3447 days ago
Yes there are:
https://scan.coverity.com/projects/linux
1 comments
rootw0rm
3447 days ago
100% code coverage for symbolic execution of the kernel seems a bit optimistic, no?
link