lists.openwall.net | lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC | |
Open Source and information security mailing list archives
| ||
|
Date: Mon, 8 Jun 2009 23:15:23 -0700 (PDT) From: Christian Kujau <lists@...dbynature.de> To: Dan Carpenter <error27@...il.com> cc: Andi Kleen <andi@...stfloor.org>, LKML <linux-kernel@...r.kernel.org> Subject: Re: smatch 1.53 released 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@...r.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists