>
> I have been playing with an idea of adding some LClint directives into
> linux source and perhaps extending LClint to provide some additional
> information about the source code (call graphs, uses of structures,
> uses of structure members, ranges of values used). The extracted
Well, if you figure out how to feed kernel code to lclint without using
every disable-usefullness flag, please let me know what you did :)
-Mike