Re: smatch 1.53 released

[Andi Kleen]

Dan Carpenter <error27@xxxxxxxxx> writes:

> Smatch is a source code checker for C.  Right now the focus is on checking 
> for kernel bugs.

Could you give a quick overview on what kinds of bugs it looks for
and where the limitations are?

Thanks,

-Andi

-- 
ak@xxxxxxxxxxxxxxx -- Speaking for myself only.
--
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/