smatch
Static analysis tool for C

Smatch is a static analysis tool for C. Most of the checks are for the linux kernel. Please write checks for your project. It's fun and easy!

GPL-2.0-only

To download packages, you need to log in and have a valid subscription.

Please select a product to see the available package versions:

Loading package downloads...