On Wed, 2002-06-12 at 15:38, Benjamin LaHaise wrote:
> Perfection isn't what I'm looking for, rather just an approximation.
> Any tool would have to give up on non-trivial recursion, or have
> additional rules imposed on the system. Checker seems to be growing
> functionality in this area, so it seems like a useful feature request.
I do not want to give up on this idea, either... if the implementation
needs to be "hackish" or even explicitly ignore certain functions, so be
it. There is a _lot_ that can be done with detailed call chain analysis
-- the point you gave is one of many.
Checker already has some basic functionality here I suspect based on
what it is capable of reporting... imagine what more could be reported?
Robert Love
-
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/
This archive was generated by hypermail 2b29 : Sat Jun 15 2002 - 22:00:26 EST