1. A code instrumentation method for instrumenting object codes of a program to enable memory access tracing, comprising: identifying an object code block to be executed circularly in the object codes; identifying at least one memory access instruction in the object code block where a memory address to be accessed during the circular execution of the object code block remains unchanged; and inserting a routine for tracing the memory access to be executed by the at least one memory access instruction outside the object code block.