Method and system for analyzing a computer program
AssigneeSiemens Industry Software Inc.
InventorMarcel Zak
Life of this patent
Estimating the term…
Abstract
A method for inferring a program counter of a program executed by a computing system is provided. The method includes identifying, based on a program counter value including an address of a sequential instruction in the program, a sequential execution path containing the sequential instruction. The method also includes inferring a further program counter value based on the identified sequential execution path. The further program counter value includes an address of a last sequential instruction in the identified sequential execution path.
Claims15
A method for inferring a program counter of a program executed by a computing system, the method comprising:
- identifying, based on a program counter value comprising an address of a sequential instruction in the program, a sequential execution path containing the sequential instruction;
- and
- inferring a further program counter value based on the identified sequential execution path, the further program counter value comprising an address of a last sequential instruction in the identified sequential execution path.
A method for analyzing a decompiled binary of a program, the method comprising:
- determining, for each instruction in the decompiled binary, whether the respective instruction is a sequential instruction;
- when the respective instruction is a sequential instruction, adding an address of the respective instruction to a list of addresses of sequential instructions;
- determining whether the list of addresses comprises at least three addresses;
- and
- storing the list in a data cache of sequential execution paths when the list of addresses comprises at least three addresses.
An apparatus for monitoring a program flow of a program executed by a computing system, the apparatus comprising:
- a processor configured to:
- identify, based on a program counter value comprising an address of a sequential instruction in the program, a sequential execution path containing the sequential instruction;
- and
- infer a further program counter value based on the identified sequential execution path, the further program counter value corresponding to an address of a last sequential instruction in the identified sequential execution path.
Dependencies are inferred from the claim text.