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.