Suspending memory analyzing of a program performed by a runtime memory analysis system

A computer implemented method comprising:

• locating a library specification, wherein the library specification includes a precondition function and a postcondition function;
• and
• if the library specification is located, executing the library specification, by a runtime memory analysis system and:
• (a) executing the precondition function;
• (b) executing a target library function, while suspending the memory analysis of the target library function;
• and
• (c) executing the postcondition function, subsequent to the execution of the target library function.

A computer implemented system comprising;

• an application program;
• a target library, wherein the target library includes a target library function to be used by the application program;
• a library specification includes a registering function that registers a precondition function and a postcondition function associated to the target library function;
• and
• a runtime memory analysis system to locate the library specification when the target library is used by an application program, to call the registering function, and upon each target library function call, to execute the precondition function, to suspend the analyzing of the memory usage, to execute the target library function, and to execute the postcondition function.

A machine-accessible medium that provides instructions that, when executed by a processor, causes the processor to perform operations comprising:

• detecting the loading of a target library function;
• locating a library specification, in response to the detected target library function;
• if the library specification is located, executing the library specification, by a runtime memory analysis system and:
• (a) executing a registering function to register within a runtime memory system, the association between the precondition function, postcondition function and the target library function;
• (b) executing a precondition function, wherein the precondition function includes a condition to be met before the target library function is executed;
• (c) executing the target library function, while suspending the memory analysis of the target library function;
• and
• (d) executing a postcondition function, wherein the postcondition function includes a condition to be held upon returning from the execution of the target library function.