公开(公告)号：JP2009259051A

公开(公告)日：2009-11-05

申请号：JP2008108254

申请日：2008-04-17

Applicant: Internatl Business Mach Corp ,  インターナショナル・ビジネス・マシーンズ・コーポレーションInternational Business Maschines Corporation

Inventor： SHIMIZU SHUICHI ,  KOMATSU HIDEAKI ,  KAJITANI KOICHI

IPC: G06F11/28

Abstract: PROBLEM TO BE SOLVED: To provide a technology for understanding the internal state of a built-in program such as an ECU and restoring it to a certain internal state.
SOLUTION: In order to specify and/or extract an internal state memory area, the execution flow of a built-in program such as an ECU is analyzed and a control graph is created. An execution path is thereby obtained. Next, data flow analysis of Def/Use is performed for the execution path. The data flow analysis of Def/Use is to obtain all the lists of variables such that referencing (Use) is performed prior to definition (Def). All the lists of variables thus obtained are regarded as the memory area that expresses the internal state. Using the lists thus obtained of the variables expressing the internal state, an input wrapper and an output wrapper are generated and are arranged in front of and behind the analyzed built-in program, respectively. The program with the wrappers thus arranged therein is either complied or assembled into a binary executable program.
COPYRIGHT: (C)2010,JPO&INPIT

Abstract translation: 要解决的问题：提供一种了解内部程序（如ECU）的内部状态并将其恢复到某种内部状态的技术。

解决方案：为了指定和/或提取内部状态存储区域，分析诸如ECU的内置程序的执行流程并创建控制图。 由此获得执行路径。 接下来，对执行路径执行Def / Use的数据流分析。 Def / Use的数据流分析是获取所有变量列表，以便在定义（Def）之前执行引用（Use）。 所获得的变量的所有列表被视为表示内部状态的存储区域。 使用如此获得的表示内部状态的变量的列表，生成输入包装器和输出包装器，并分别布置在分析的内置程序的前面和后面。 具有如此布置在其中的包装器的程序被编译或组装成二进制可执行程序。 版权所有（C）2010，JPO＆INPIT