---

Smatch Static Analysis Tool Overview

Dan Carpenter provides an overview of Smatch, the C static analysis tool which he developed, and which he uses to test the mainline Linux kernel code for security bugs.