V611 The memory was allocated using 'new' operator but was released using the 'free' function.V519 The 'a' variable is assigned values twice successively.V773 The 'a' pointer was assigned values twice without releasing the memory.The null pointer is passed into 'use' function. V522 Dereferencing of the null pointer 'p' might take place.The analyzer reports all these defects by issuing a few warnings: Second, the memory was allocated using the 'new' operator but freed using the 'free' function. Another effect of that typo is null pointer dereferencing in the 'use' function. This results in losing one of the pointers, and so the analyzer warns us about a memory leak. Here is an example of code with two bugs in it, which demonstrates PVS‑Studio's data flow analysis abilities.įirst, there is a typo that leads to storing the addresses of two allocated buffers twice in a row into the 'a' variable.
Thanks to the Compiler Explorer project, programmers can now quickly prepare synthetic examples of C and C++ code and see what results PVS‑Studio will produce when run on them.
0 kommentar(er)
