clang's source code analyzer is nifty

Clang’s analyzer can catch leaked allocations hiding in rarely exercised error paths, where manual ownership reasoning tends to slip. Its concise execution traces make static analysis practical for legacy C without burying developers in noisy warnings.


