DETERMINATION OF VALID INPUT SEQUENCES FOR AN UNKNOWN BINARY PROGRAM

摘要

A method to determine a valid input sequence for an unknown binary program is provided. The method may include obtaining an input sequence for an unknown binary program. The method may also include obtaining a memory address range for each of one or more variables in the unknown binary program and executing an instrumented version of the unknown binary program with the input sequence as an input to the instrumented version of the unknown binary program. The method may also include recording one or more memory addresses accessed during the execution of the instrumented version of the unknown binary program and determining that the unknown binary program accepts the input sequence as valid based on one or more of the one or more recorded memory addresses corresponding to the memory address range of one or more of the variables in the unknown binary program.

主权项

1. A method to determine a valid input sequence for an unknown binary program, the method comprising:
obtaining an input sequence for an unknown binary program, the input sequence including two or more different inputs, the inputs for the input sequence determined as valid inputs for the unknown binary program; obtaining a memory address range for each of one or more variables in the unknown binary program; executing an instrumented version of the unknown binary program with the input sequence as an input to the instrumented version of the unknown binary program; recording one or more memory addresses accessed during the execution of the instrumented version of the unknown binary program; and determining that the unknown binary program accepts the input sequence as valid based on one or more of the one or more recorded memory addresses corresponding to the memory address range of one or more of the variables in the unknown binary program.