[splint-discuss] Treating different libraries in a different way

[Yegor Ryabkov]

Hello,

I'm using Splint to check a single module in a bigger project, and the
module is using some external libraries, which I don't want to check.
Is there a way to set up Splint so that it will analyze only the libraries
from a given directory (and its subdirectories), leaving all the outside
libraries unanalized (yet included)?

One way to solve this is to wrap every #include for an outside library
with /*@ignore@*/ ... /*@end@*/, but I'd like to find a way to solve this
issue in general, if it's possible.

Splint manual, section 14 gives no clues on that.

Thanks in advance,
Egor.