Messages in this thread | | | From | "dan carpenter" <> | Date | Fri, 07 Mar 2003 03:32:25 -0500 | Subject | Re: smatch update / 2.5.64 / kbugs.org |
| |
From: Oleg Drokin <green@namesys.com>
> Also is anybody working on "redundant assignments" stuff as described in Standford guys papers? >
I have been planning to write an equivelence module that would save what variables where equivelent. For example ... a = b = kmalloc(); c = a; ... a, b and c are all equivelent.
The redundant assignment check looks for places that assign a variable to an equivelent variable. You would need to check for this anyway as part of writing the equivelence module.
The equivelence module has other uses as well ... a = b = kmalloc(); if (!a) { return -ENOMEM; } b->foo = bar;
Right now the dereference check prints a false positive on those, but the equivelence module would fix that.
I don't have the "redundant code" paper in front of me, so I forget what other types of things they looked for.
regards, dan carpenter
-- _______________________________________________ Sign-up for your own FREE Personalized E-mail at Mail.com http://www.mail.com/?sr=signup
Meet Singles http://corp.mail.com/lavalife
- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
| |