read the parameter list of the method when analyzing it and translate the Registers into the memory locations in the heap, this process is only done once when the first time analyzing the method, need some testing