News for hackers. Stuff that matters.

A comment on How is the Linux kernel tested?.

Re:How is the Linux kernel tested? by aorth on Sunday March 29, 2020 @12:40AM (#22716475)
There is automated static analysis from smatch for over ten years now:

https://lwn.net/Articles/691882/

This has found thousands of bugs in the kernel.

[ Parent | on HN ]

There are no comments on this comment yet.