Home News Smatch Static Analysis Tool Overview By January 9, 2020 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. Complete Story Facebook Twitter Linkedin Email Print Previous articleMy 5 favorite Linux sysadmin tools Next article7 questions sysadmins should ask a potential employer before taking a job Get the Free Newsletter! Subscribe to Developer Insider for top news, trends, & analysis Email Address By subscribing, you agree to our Terms of Use and Privacy Policy. Subscribe Must Read Developer How to Run a Python Script on a PHP/HTML File News Nginx 1.26 Released with Experimental HTTP/3 Support News QEMU 9.0 Released with Raspberry Pi 4 Support, LoongArch KVM Acceleration News Ubuntu 24.04 LTS (Noble Numbat) Released, This Is What’s New News Fedora 40 Released as a Prettier and a More Secure Distro