Lint without annotations

Hey,

Is there a free lint-like tool for C code which doesn't require
annotations to be right in the code? Say, splint wants annotations to be
in the source files, and if I use a library which doesn't have
splint annotations in headers (I haven't seen one which does),
then I can't tell it that foo_free() frees allocated memory.
Normally there are not many functions which require those
annotations, say splint can cope with libxml as soon as it knows
that xmlFree() can be treated like free(); but without that
it simply reports million leaks.
Hope I just missed something, but neither manual nor google
helped.

Thanks,
Yevgen
.