Abstract: The recognition of indirect jump targets is one of the most difficult problems for control flow reconstruction from binary all the time．Due to dependency for runtime information,traditional solutions of indirect jump cannot meet the demand of precision．Through research of control flow reconstruction technical,we presented a new method for recognition of indirect jump targets based on trace constraint．For an indirect jump,a trace set from entry point to indirect jump can be constructed from a given initial control flow graph．Then for every element of the trace set,a target address can be determined through trace constraint resolve and target address expression which is constructed with relevant control flow analysis technical．By this means,a set of jump targets can be determined for every indirect jump.

Key words: Control flow reconstruction,Indirect jump,Recognition of target address,Trace constraint,Data flow analysis