---

Checking the Linux Kernel with Static Analysis Tools

Static analysis tools are helping keep Linux safe and stable.