METHOD AND DEVICE FOR DATA FLOW ANALYSIS IN PROCESSOR TRACE LOG USING COMPILER-TYPE INFORMATION

摘要

PROBLEM TO BE SOLVED: To find storage instructions that produce memory corruptions.SOLUTION: A method is configured to: acquire a list of a program control flow trace and a compiled basic block after compiled 408; disassemble the basic block, and identify a storage instruction 410; identify the storage instruction writing in a register of the memory corruption from a runtime program control flow trace 412; identify a data type pertaining to the memory corruption, a data type or structure of the data type of the storage instruction 414; when, as to each record of the storage instruction, a record of the storage instruction writes in the register of the memory corruption 418, and the storage instruction has the same data type as the memory corruption or structure of the data type as the memory corruption 420, erect a flag as a storage instruction candidate 422; link the storage instruction candidate to a source of an instruction of a software program using debug information 424; and provide the like to the storage instruction candidate and the software program 428.SELECTED DRAWING: Figure 4