Re: smatch 1.53 released

From: Christian Kujau
Date: Tue Jun 09 2009 - 02:21:30 EST


On Thu, 4 Jun 2009, Dan Carpenter wrote:
>> Smatch is a source code checker for C. Right now the focus is on checking
>> for kernel bugs.

Hm, smatch is pretty noisy. I'm getting hundreds of warnings and errors on
a randconfig build: http://nerdbynature.de/bits/smatch/

False positives or real issues?

Thanks,
Christian.
--
BOFH excuse #182:

endothermal recalibration
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/