1. A method of analyzing a first sequence of instructions, in a computer system, the method comprising, for each instruction of an indirect control flow (ICF) type in the first sequence: generating a memory address R G ; comparing the generated memory address R G to a corresponding predicted memory address R P ; and if it is determined that the generated memory address R G is not the same as the predicted memory address R P , then evaluating at least one of: directed program code corresponding to the generated memory address R G prior to execution thereof; and the generated memory address R G .