Checking Linux's Code with Static Analysis Tools – The New Stack
Static analysis tools can help find security gaps in source code, such as in the Linux kernel, but such tools are notorious for generating false positive results. Here's a look at some of the tools used with Linux, including their challenges.
Greg Kroah Hartman Julia Lawall Coccinelle Shuah Khan Linus Torvalds Technical Steering Committee Linux Foundation Technical Advisory Board
Source: thenewstack.io