ated with modules that are loaded in the computer system, and verifies the symbolic data in response to a determination that the trace data matches the symbolic data in the merged symbol file based on one or more predetermined criteria, wherein the trace data is obtained from a trace of an execution of a computer program of which the module is a part, and wherein the trace data is provided in term