[发明专利]程序语句控制的指令流控制

权利要求书

1.一种用于执行程序的设备，该设备具有计算单元和签名模块，其中签名模块被构造来以便基于指令算出签名并且将所述签名存放在签名寄存器中，其中在通过计算单元执行程序时出现对中断例程或者子函数的调用，其中所述用于执行程序的设备被构造来以便：

当对中断例程进行调用时，借助中断例程的程序语句从签名模块中读出并且存储与所中断的程序相关的签名，并且在离开中断例程之前借助中断例程的程序语句将所存储的签名写到签名模块中，或者

当对子函数进行调用时，在调用子函数之前借助引起签名相对改变的程序语句来使签名寄存器中的签名与子函数的签名相适配，并且在从子函数返回之后借助其他的引起签名相对改变的程序语句使签名寄存器中的签名与如下程序段的签名相适配：从所述程序段曾进行子函数调用。

2.根据权利要求1所述的设备，其中，所述用于执行程序的设备此外还被构造为，在执行所调用的中断例程或者所调用的子函数期间执行对签名的检验。

3.根据权利要求1或2所述的设备，其中，所述用于执行程序的设备此外还被构造为，针对中断例程或者子函数激活签名算出。

4.根据权利要求1至3之一所述的设备，其中，所述用于执行程序的设备此外还被构造为，借助程序语句针对在调用中断例程或者子函数的时刻所执行的例程保护签名模块的状态，并且在离开中断例程或者子函数之前借助程序语句针对在调用中断例程或者子函数的时刻所执行的例程恢复签名模块的状态。

5.根据权利要求1至4之一所述的设备，其中，在对子函数进行调用之前，通过用于适配签名的相对应的程序语句更新签名，使得在有序调用子函数时使在调用子函数时的签名与和子函数的起始相关的起始参考签名值相一致。

6.根据权利要求1至5之一所述的设备，其中，在从子函数返回之后，通过用于相对改变签名的相对应的程序语句更新签名，使得在有序地从子函数返回到程序时使在程序的所限定的点处的签名与所述程序的和该限定的点相关的参考签名值相一致。

7.根据权利要求6所述的设备，其中，与从子函数的返回相关有终止参考签名值，签名寄存器中的签名在有序执行子函数时与所述终止参考签名值相一致，并且所述终止参考签名值也与在进行调用的程序段中作为参考签名值的返回目的地相关，其中签名寄存器中的签名在返回时保持不变并且由进行调用的程序段进行检验或者借助签名的相对改变被更新，使得在进行调用的程序段中的点处，得到的签名值在有序执行时与和在进行调用的程序段中的该点相关的第二参考签名值相一致。

8.根据权利要求5至7之一所述的设备，其中，起始参考签名值和/或终止参考签名值作为子函数的名称或者地址的函数被导出。

9.根据权利要求5至7之一所述的设备，其中，起始参考签名值和/或终止参考签名值随机地、成对地不同地、针对函数组相同地或者针对所有函数分别相同地被选择。

10.根据权利要求1至9之一所述的设备，此外还被构造为，在中断例程或者子函数的上下文中借助程序语句更新签名，使得在有序执行中断例程或者子函数时使在中断例程或者子函数的所限定的点处的签名与和中断例程或者子函数的所限定的点相关的参考签名值相一致。

11.根据权利要求1至10之一所述的设备，其中，对子函数的调用以间接函数调用的形式来进行，并且其中签名的适配包括基于子函数的唯一的标识符来确定更新值并且借助更新值修改签名。

12.根据权利要求11所述的设备，其中，间接调用的子函数的唯一的标识符基于如下内容中的至少一个：

- 子函数的存储器地址，

- 子函数的名称，

- 标识符的相关性映射的结果，

- 在标识符的相关性表中的条目，以及

- 对于所有间接调用的函数都是相同的固定常数。

13.根据权利要求11至12之一所述的设备，其中，确定更新值包括对更新值映射的分析和对更新值表的分析中的至少一个的分析。

14.根据权利要求1至13之一所述的设备，其中，签名模块包括签名寄存器。

15.根据权利要求1至14之一所述的设备，其中，签名模块包括用于提供存放在签名寄存器中的签名的签名算出单元。