With the Memory Analysis tool enabled, when you launch a program, your program uses the debug version of the malloc library (librcheck.so). This library tracks the history of every allocation and deallocation, and provides cover functions for the string and memory functions to validate the function's arguments before using them.