When run on the following code, Facebook\'s Infer tool gives the following output:
Analysis finished in 397mss Found 1 issue test.c:18: error: RESOURCE_LEAK