The method involves determining a global checksum (gck) that is associated with a stack frame (10). A local checksum associated with a datum is calculated, when the datum of an intermediate code e.g. Java(RTM: object-oriented programming language) code, is manipulated each time, based on the global control data associated with the stack frame that corresponds to the manipulated datum and on a part of other data constituting the stack frame.