With the Memory Analysis tool enabled, when you launch a program, your program uses the librcheck.so library. 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.