Come escludere alcuni file particolari in PC-lint

Question

Durante l'esecuzione pclint per una cartella particolare, la sua corsa per tutti i file all'interno di quella cartella. Se vogliamo che il pclint di omettere alcuni dei file, allora come configurarlo nel file di std.lnt?

Answer 1

Normally, your std.lnt file does not contain a list of source file names to be processed. You then call PC Lint with the command line

<path>/lint-nt.exe std.lnt file1 [file2...]

where file file is a C or C++ source file (not a header file).

Since Lint seems to process all the source files in you folder, take a look at your std.lnt file and see if there's a list of .c/.cpp files included. Remove them. Then build your command line as above, and list just the files you are interested in; or "*.c" to again process all the C files in the current directory.

If you need more guidance as to how to structure and create your Lint option files, google for "How to wield PC Lint", first result, which is my whitepaper on how to setup PC Lint if the setup.exe just doesn't thrill you much.