Metodo de verificacion de programas de lenguaje intermedio en una simple pasada, aparato de computacion y modulo de verificacion

Se describe un programa de lenguaje intermedio (IL) se verifica procesando el programa en una simple pasada. Las instrucciones de IL procesadas pueden ser provistas por un compilador just-in-time (JIT) de manera que el programa pueda ser convertidoen un programa de lenguaje nativo de un dispositivo objetivo. Un aparato de verificación puede comprender una memoria, un módulo de secuenciamiento, un módulo de actualización de memoria y un módulo de lógica de reglas. La memoria comprende una pilade comandos de IL y una estructura de datos que almacena información de una pila de IL correspondiente a una instrucción de IL procesada. El aparato de verificación procesa el programa de IL de una manera lineal excepto al encontrar instrucciones deIL que corresponden a tipos de códigos de operación designados. En tales casos, el aparato de verificación puede alterar un secuenciamiento de procesamiento del programa de IL utilizando la pila de comandos de IL.