Description
Analyzes C source code semantically to catch type issues, address-space mistakes, and kernel-style coding problems. Developers use it for static checks in low-level C projects, especially Linux kernel-related code.
Static analysis is guidance, not proof of correctness. Review warnings in context and still build, test, and audit code paths that affect security or hardware.