Source code static analysis tools

Code writing is not rigorous. It often leads to many unpredictable errors in your software, and these errors are sometimes random, which makes it difficult for you to analyze and locate problems. We can use some excellent static source code analysis tools to help us check many programming tasks such as uninitialized variables, memory leakage, null pointer reference, buffer overflow, and array out-of-bounds. error, make the software more stable and robust. Well-known tools include klocwork and lint. Case 1: Check for Memory leakage: p1 = malloc (10); if (p1 = null) {return;} p2 = malloc (20); if (p2 = null) {return;} case 2 array out-of-bounds check: int a [10] = {0}; a [10] = 0x20; Case 3 Null Pointer Reference check: char * ps_name = null; char s_name [10] = "my_name" memcpy (ps_name, s_name, 10); Case 4 buffer overflow check: p1 = malloc (10 ); char s_name [20] = "my name is vector"; strcpy (p1, s_name); although programming errors are always unavoidable, we still need to develop good programming habits, minimize such errors and strive to improve software quality.