1. A computer enabled method for providing integrity verification for a file which is a binary computer code comprising the acts of: providing the file from a first storage; selecting a first portion of the file of a particular length; computing a hash value of data of the first portion; forming an a first entry including a start address in the first storage of the first portion, the length of the first portion, and the hash value; selecting a second portion of the file of a different length; computing a hash value of data of the second portion using a predetermined hash function; forming a second entry including the start address in the first storage of the second portion, the length of the second portion, and the hash value of the second portion; concatenating the first and second entries to form a verification file; storing the verification file in a second storage; and providing a map file created by a compiler and which maps between the binary code and a source code version of the binary code.