US 12,248,769 B2
Program analyzing apparatus, program analyzing method, and trace processing addition apparatus
Hiroto Kaga, Tokyo (JP); Masumi Kawakami, Tokyo (JP); and Yasufumi Suzuki, Tokyo (JP)
Assigned to HITACHI, LTD., Tokyo (JP)
Appl. No. 18/547,873
Filed by HITACHI, LTD., Tokyo (JP)
PCT Filed Feb. 15, 2022, PCT No. PCT/JP2022/005804
§ 371(c)(1), (2) Date Aug. 24, 2023,
PCT Pub. No. WO2022/196219, PCT Pub. Date Sep. 22, 2022.
Claims priority of application No. 2021-044926 (JP), filed on Mar. 18, 2021.
Prior Publication US 2024/0143300 A1, May 2, 2024
Int. Cl. G06F 8/41 (2018.01)
CPC G06F 8/4435 (2013.01) 7 Claims
OG exemplary drawing
 
1. A program analyzing apparatus comprising
an execution path reduction unit that deletes an execution path that is not executed by referring to information related to a branch destination of a conditional branch included in a program, from all execution paths that are all executable execution paths among execution paths that are columns of statements to be sequentially executed in the program;
a function specification acquisition unit that acquires specifications of ranges of an argument and a return value of a function included in the program; and
a failure location detection unit that calculates a failure condition that is a value of the argument inconsistent with the specification among functions included in a remaining execution path after deletion by the execution path reduction unit.