6. The method for providing a binary instrumentation using a binary instrumentation tool to detect memory problems in runtime application executing on a computer system of claim 5 , wherein defining a checker code further including defining a checker code for each memory semantic description in the memory semantic description file associated with the function in the UPE, the checker code defined by the PED.
7. The method for providing a binary instrumentation using a binary instrumentation tool to detect memory problems in runtime application executing on a computer system of claim 6 , wherein the PED uses a plurality of checker code rules when defining the checker code for the function having instruction that accesses memory, the checker code rules based on compiler annotations, memory semantic descriptions associated with the function and type of error to be tracked.