splint

1. IntroductionRecently, the static program analysis tool Pc-lint has been used in the project to realize its convenience for developers in project implementation. Pc-lint is a static analysis tool for the C + + language, the Windows platform, and

1,Slave; 2,Open the terminal; 3,Extract: Tar zxvfsplint-3.1.2.src.tgz 4,Install it in the/usr/local/splint directory: Sudo mkdir/usr/local/splint CD splint-3.1.2 ./Configure -- prefix =/usr/local/splint Sudo apt-getinstall flex Make Sudo make

To use the static code check tool splint, after downloading the tar package, compile and generate the following questions: Csf-. O: In function 'input ': /Home/wine/splint-3.1.2/src/cstrap. C: 2483: Undefined reference to 'yywrap'Csung. O: In

Recently I have been studying C expert programming and mentioned the C language code check tool lint under Ubuntu7.10. Using aptitudesearch, we did not find the lint software package, but found the splint tool. Check the following code (including

------------------------------------Copyright Information------------------------------------This article links: Http://http://blog.csdn.net/doniexunAuthor of this article: windnessCopyright Note: This article for the author through the retrieval of

1. splint Splint is an open-source static code check tool. It can be used as follows: The program to be tested is as follows: #include static void display(int i){printf("i = %d\n",i);}int main(void){int i,j;i = 1;i = i + 1;display(i);return

This section describes open-source tools and code tracing technologies used to improve the security and reliability of Linux applications. I. Source Code check tools During software development, we can use source code check tools to identify common

In the previous article, the Android platform SDK has been released to cupcake 1.5 (the latest development version may be later than this version, and we look forward to Android 2.0: d) For Android 1.5 developers, the good news is that cupcake has

Create a zero environment and target hardware for the multimedia Linux system on the character interface: one ThinkPadR52 notebook. Objective: to view images, listen to music, watch videos, and access the Internet over wireless in LINUX. 1 System

0 environment and target hardware: One ThinkPad r52 notebook. Objective: To view pictures, listen to music, watch videos, and connect to the Internet over wireless in the Linux System of the character interface, it is important to listen to music