[发明专利]由虚拟机执行的中间编程代码的安全化的方法、计算机程序和装置

权利要求书

1.用于计算机的由虚拟机执行的中间编程代码的安全化的方法，该方法的特征在于，其包括下列步骤；

-从所述中间编程代码接收(200)多个伪指令；

-转换(230，235)所述多个伪指令，所述转换包括插入至少一个伪指令的插入步骤，所述至少一个伪指令与所述多个伪指令中的至少一个伪指令的执行的控制函数相关；和

-生成伪代码，所生成的所述伪代码包括被转换的所述多个伪指令。

2.按照权利要求1所述的方法，其特征在于，所述插入步骤包括插入代表用于所述虚拟机的控制命令的伪指令的步骤。

3.按照权利要求2所述的方法，其特征在于，用于所述虚拟机的所述控制命令旨在检验所述虚拟机的执行堆栈，以验证所述虚拟机的执行堆栈是空的。

4.按照权利要求1所述的方法，其特征在于，转换步骤对于每个所接收的所述伪指令包括以下步骤：

-若所述伪指令针对至少一第一预定值的预定处理，则删除所述伪指令并插入(230)针对用于至少一第二预定值的所述预定处理的伪指令，所述至少一第二预定值不同于所述至少一第一预定值；和

-若所述伪指令针对所述至少一第一预定值与另一值的比较，则删除所述伪指令并插入(230)针对所述至少一第二预定值与所述另一值比较的伪指令。

5.按照权利要求4所述的方法，其特征在于，针对至少一第一预定值的预定处理的所述伪指令旨在对局部变量进行初始化或赋值，所述局部变量的值在初始化或赋值步骤执行之后等于所述第一预定值。

6.按照权利要求4或5所述的方法，其特征在于，所述方法还包括定义(225)或计算所述至少一第二预定值的步骤。

7.按照权利要求4至6中任一项所述的方法，其特征在于，所述方法还包括分析所述多个伪指令的至少一组的分析步骤(315，320)，作为对所述分析步骤的响应而进行删除针对至少一第一预定值的预定处理的所述伪指令的步骤和插入针对用于至少一第二预定值的所述预定处理的所述伪指令的步骤。

8.按照上述权利要求中任一项所述的方法，其特征在于，所述方法还包括代码编译(110)的预先步骤，所述代码编译的预先步骤的结果包括所述多个伪指令。

9.计算机程序，其包括当所述计算机程序在计算机上执行时适于实施按照上述权利要求中任一项所述的方法的每个步骤的指令。

10.装置，其包括适于实施按照权利要求1至8中任一项所述的方法的每个步骤的部件。

11.微电路卡，其包括通过按照权利要求1至8中任一项所述的方法获得的伪指令。