Method for determining target address of computed jump instructions in executable programs

摘要

A computerized method for determining destination addresses of an indirect computed branch instruction first locates a prolog sequence of instructions immediately preceding the indirect computed branch instruction using scanning. Candidate registers which may be used to index into the jump table are located. For each candidate register, a range of index values is determined. If the range of index values is contiguous for a specific candidate register, the register is selected as the index register. Using the index register, and a base register storing the location of the jump table, possible destination addresses stored in entries of the jump table are extracted.