About Aditya Venkatesh Kulkarni
Smatch: The Deep Analyzer
A 101 Guide for Driver Developers on Path-Sensitive Analysis and State Tracking
Read More
Sparse: The Type System Guardian
Sparse enforces kernel pointer annotations GCC ignores. Catch __user, __iomem & endianness bugs early. A practical guide for Linux driver developers.
Read More
Coccinelle: The Semantic Patch Master
Static analysis helps you catch issues like type mismatches, memory leaks, null pointer dereferences, and incorrect API usage before your code runs.
Read More