The invention is directed to a method for operating a computer system, as well as to a byte code verifier and to a computer system. The inventive method checks whether a computer program loaded onto a computer system exercises an illegal access to a variable, i.e. whether the variable is initialized before it is read. This test ensues before the execution of the program, so that such a test no longer need be performed upon execution of the program. The inventive method requires little memory space in the testing of the program and nonetheless carries out a complete test. Since the testing ensues before the execution of the program, the program execution itself is considerably speeded up since no further test is thereby required.

L'invenzione è diretta verso un metodo per il funzionamento del sistema di elaborazione, come pure ad una macchina verificatrice di codice di byte e ad un sistema di elaborazione. Il metodo inventivo controlla se un programma destinato all'elaboratore abbia caricato sulle esercitazioni del sistema di elaborazione un accesso illegale ad una variabile, cioè se la variabile è inizializzata prima che sia letto. Questa prova segue prima dell'esecuzione del programma, di modo che una tal prova più non deve essere effettuata sull'esecuzione del programma. Il metodo inventivo richiede poco spazio di memoria nella prova del programma e ciò nonostante effettua una prova completa. Poiché la prova segue prima dell'esecuzione del programma, l'esecuzione di programma in se è accelerata considerevolmente su poiché nessuna ulteriore prova quindi è richiesta.