A memory leak example coming from the CBMC documentation
This bug is part of a collection of different bugs meant to be anaylzed for academic research. These artifacts and the full analysis and code will be available in a scientific paper later on. The source of this bug can be found in CBMC's tutorial: https://www.cprover.org/cbmc/doc/manual.pdf