Determining control flow divergence due to variable value difference

摘要

An embodiment is directed to a method for analyzing a computer program that includes receiving an instruction specifying a first variable of the program. The first variable has a first value at a first location during program execution. The instruction further specifies a second value for the first variable at the first location. The method includes determining that a second location during program execution includes a conditional control flow instruction that includes the first variable. In addition, the method includes evaluating the conditional control flow instruction using the first and second values of the first variable at the second location. It may be determined whether control flow diverges at the second location based on the evaluating of the conditional control flow instruction using the first and second values at the second location.

主权项

1. A system for analyzing a computer program, comprising:
a processor; a memory to store the program and a debugger, wherein the debugger, when executed by the processor, is operable: to receive an instruction specifying a first variable of the program, the first variable having a first value at a first location during program execution, the instruction further specifying a second value for the first variable at the first location; to determine that a second location during program execution includes a conditional control flow instruction that includes the first variable; to evaluate the conditional control flow instruction using the first and second values of the first variable at the second location; and to determine whether control flow diverges at the second location based on the evaluating of the conditional control flow instruction using the first and second values at the second location.