-
1.发明授权公开(公告)号：US12248769B2
公开(公告)日：2025-03-11
申请号：US18547873
申请日：2022-02-15
Applicant: HITACHI, LTD.
Inventor： Hiroto Kaga , Masumi Kawakami , Yasufumi Suzuki
IPC: G06F8/41
Abstract: A program analyzing apparatus (failure analyzing apparatus) includes 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.
-
2.发明公开公开(公告)号：US20240143300A1
公开(公告)日：2024-05-02
申请号：US18547873
申请日：2022-02-15
Applicant: HITACHI, LTD.
Inventor： Hiroto Kaga , Masumi Kawakami , Yasufumi Suzuki
IPC: G06F8/41
CPC classification number: G06F8/4435
Abstract: A program analyzing apparatus (failure analyzing apparatus) includes 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.
-
Search Results
2
records
(took 0.008 seconds)
