On Wed, Nov 26, 2014 at 10:58:43AM -0800, Linus Torvalds wrote: > I don't think coccinelle can do signedness checks, though, especially > of the kind that are hidden deep behind some typedef like "loff_t". > Maybe I'm wrong. Maybe smatch can? Adding Dan Carpenter to the cc.. >
Smatch knows about datatypes and signedness. I've written a bunch of integer overflow checks and found some bugs but the tests have always had too many false positives to publish. I'll take a closer look at this next week. regards, dan carpenter -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
