Messages in this thread | | | Date | Thu, 27 Nov 2014 23:42:58 +0300 | From | Dan Carpenter <> | Subject | Re: [RFC 1/2] compiler: use compiler to detect integer overflows |
| |
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
| |