I recall this having some possible issue many years back, but I cannot remember why . Any C/C++ programmers can review and give insight? This method allows an override to the standard free (in c) so that additional memory clearing can be utilized such as setting memory reference to null.
Thanks,
earth.

Freeing memory multiple times has similar consequences to accessing memory after it is freed. The underlying data structures that manage the heap can become corrupted in a way that can introduce security vulnerabilities into a program. These types of issues are referred to as double-free vulnerabilities. In practice, double-free vulnerabilities can be exploited to execute arbitrary code.

To eliminate double-free vulnerabilities, it is necessary to guarantee that dynamic memory is freed exactly one time. Programmers should be wary when freeing memory in a loop or conditional statement; if coded incorrectly, these constructs can lead to double-free vulnerabilities. It is also a common error to misuse the realloc() function in a manner that results in double-free vulnerabilities

In this noncompliant code example, the memory referred to by x may be freed twice: once if error_condition is true and again at the end of the code.



In this compliant solution, the free a referenced by x is only freed once. This is accomplished by eliminating the call to free() when error_condition is equal to 1.



Note that this solution checks for numeric overflow.

Cheers