Verfahren, Computerprogramm und Vorrichtung zur Sicherung des Programmierungs-Verbindungscodes für seine Ausführung durch eine virtuelle Maschine

摘要

The method involves receiving a set of pseudo instructions of an intermediate programming code (200). The set of pseudo instructions is converted (230, 235). One of the pseudo instructions relative to a function is inserted to execute checking of each pseudo instruction from a set of pseudo instructions during conversion process. A pseudo code is generated, where the generated pseudo code comprises the set of converted pseudo instructions. A command for the virtual machine is directed to verify an execution stack of the virtual machine. Independent claims are also included for the following: (1) a computer program comprising set of instructions to perform a method for providing security for intermediate programming code during execution by a virtual machine (2) a device for providing security for intermediate programming code during execution by a virtual machine (3) a microcircuit comprising pseudo-instructions.