A method and associated system and electronic device for evaluating the reliability of a program (401) stored in a storage memory of an electronic device (1) having a processing memory (3b) for processing programs, wherein the program (401) is loaded into the processing memory (3b) for processing, wherein a first determining step determines data about the loading address of the program (401), a modification step searches for a program corresponding to the program (401) in the storage memory (4, 10), wherein if the searched program is found, the program code of the searched program is modified to correspond to the loading of the program in the loading address determined in the first determining step. An examining step examines the conformity of the program loaded in the processing memory and the modified program, wherein the result of the examining step is used in the evaluation of the reliability of the program (401) to be verified.