公开(公告)号：US20140289565A1

公开(公告)日：2014-09-25

申请号：US14188147

申请日：2014-02-24

Applicant: NXP B.V.

Inventor： Reinhard Berlach ,  Johannes Loinig ,  Ernst Haselsteiner

IPC: G06F11/36

CPC classification number: G06F11/3688 ,  G06F8/60 ,  G06F9/44589 ,  G06F11/3648 ,  G06F11/3664 ,  G06F21/577 ,  G06F21/77 ,  G06F2221/033

Abstract: According to an aspect of the invention, a process for verifying a computer program on a smart card is conceived, the process comprising: identifying, within said computer program, one or more instruction sequences that have a single start point and one or more end points in the program flow; identifying, in each instruction sequence, one or more basic blocks that have a single start point and a single end point in the program flow; and verifying the instruction sequences by verifying each basic block identified in said instruction sequences.

Abstract translation: 根据本发明的一个方面，构思了用于验证智能卡上的计算机程序的过程，该过程包括：在所述计算机程序内识别一个或多个具有单个起始点和一个或多个端点的指令序列 在程序流程中 在每个指令序列中识别在程序流中具有单个起始点和单个终点的一个或多个基本块; 以及通过验证在所述指令序列中识别的每个基本块来验证指令序列。