Use of pclint in vs2013

What is? pclint？

pclint Is an enhanced version C++ compiler , Is a tool that performs static compilation checks , Can cooperate with others C++ The compiler uses .

step 1. install , Note that my system is 64 windows + visual studio 2013. Therefore, you should install pclint 9i edition .

Very simple installation , Remember to patch after installation , See attachment 1.

step 2. To configure .

Mainly to establish several *.lnt file , namely include.lnt, option.lnt, std.lnt.

• The first one is used to specify the main header file directory in your compiler , This is the wrong place for me , As a result, the system compilation always prompts Error 322: Unable to open include file ‘typeinfo’.
• The second file mainly indicates which errors you don't want to be displayed ,pclint There is a number for each type of error , among 0-1000 Is assigned to C Linguistic , Greater than 1000 Is aimed at c++ Of . for example , If you don't want to see 714 error , Just use -e714, Otherwise, use +e714.
• The third one mainly indicates the version of compiler and operating system , Also comes with the system config.exe The work done by the document .

Step 3. Use - This is mainly about configuration visual studio Tools for - External tools , In fact, it is to call customized *.bat file , utilize lint-nt Compile tool for the current file / Project to compile , Note that the output is assigned to VS Output box of .

for example , The build project contains the following source files , Then compile with external tools ：

int _tmain(int argc, _TCHAR* argv[])
{
	int i;
	int a[] = { 1, 2, 3 };
	int n = sizeof(a) / sizeof(int);
	for (i = 0; i <= n; i++)
		printf("a[%d]=%d\n", i, a[i]);

	return 0;
}

The error is as follows ：

--- Module:   ConsoleApplication1.cpp (C++)

        printf("a[%d]=%d\n", i, a[i]);
ConsoleApplication1.cpp(13): error 661: (Warning -- Possible access of out-of-bounds pointer (1 beyond end of data) by operator '[' [Reference: file ConsoleApplication1.cpp: lines 11, 12, 13])
ConsoleApplication1.cpp(11): error 831: (Info -- Reference cited in prior message)
ConsoleApplication1.cpp(12): error 831: (Info -- Reference cited in prior message)

ConsoleApplication1.cpp(13): error 831: (Info -- Reference cited in prior message)

While using VS The above out of bounds error cannot be found .

After I finish installing , The two problems encountered are （1） Tips typeinfo The file could not be found ;（2） Tips

SDKDDKVer.h Can't find . These two questions are attached 2 It's all mentioned in , But my solution is different , Because everyone's configuration environment is different .

Reference resources ：

(1) https://blog.csdn.net/finewind/article/details/43482797

(2)https://blog.csdn.net/xiake001/article/details/78272900

appendix ： my include.lnt file , It should be noted that I installed visual studio ultimate 2013 edition , The first three include You may be basically the same , But the last one is to check it by yourself SDKDDKVer.h Which directory is the file in .

-iC:/lint -iC:/lint/lnt -i"C:/Program Files (x86)/Microsoft Visual Studio 12.0/VC/include" -i"C:/Program Files (x86)/Microsoft Visual Studio 12.0/VC/atlmfc/include" -i"C:/Program Files (x86)/Microsoft Visual Studio 12.0/VC/include" -i"C:/Program Files (x86)/Microsoft SDKs/Windows/v7.1A/include"