This rule finds calls to the
alloc family of functions without a corresponding
free call in the entire program.
This leads to memory leaks.
This check is an approximation, so some results may not be actual defects in the program. It is not possible in general to compute the exact value of the variable without running the program with all possible input data.
Ensure that all memory allocated by the program is freed before it terminates.