15. The system for providing binary instrumentation using a binary instrumentation tool to detect memory problems in runtime application executing on a computer system of claim 14 , further including a user interface to receive memory semantic description for the function having the instruction to access memory in the UPE, the memory semantic description incorporated into a memory semantic file, the memory semantic description providing essential functional characteristic data related to the identified function in the UPE, the memory semantic file associated with the function in the UPE.
17. The system for providing binary instrumentation using a binary instrumentation tool to detect memory problems in runtime application executing on a computer system of claim 15 , wherein the program error detector further including: a memory access detector to detect a function in the runtime application having an instruction that accesses memory; a checker generator to generate checker code based on guidelines provided by the compiler annotations in the annotation section and by the memory semantic description in the memory semantic file associated with the function detected by the memory access detector; a binary writer to generate a modified executable binary code of the runtime application, the modified executable binary code generated by replacing a original function code of a function in the executable binary code with a modified function code having associated compiler annotations or by inserting checker code into an appropriate location of the executable binary code, wherein the modified function code for the function obtained by inserting the appropriate checker code into the function code for the corresponding function.