Patent ID: 8302086
Filing Date: 2012-10-30
Classification: G06F

Abstract:
1. A method for demand-driven symbolic analysis for detecting overflow comprising: obtaining, using a processor, a section of code comprising a first instruction from a source code file; determining, using the processor, a critical variable in the section of code; determining, using the processor, data dependencies related to the critical variable; iteratively computing, using the processor, a symbolic value representing a first range of potential values of the critical variable at the first instruction according to the data dependencies, wherein the first instruction represents a point within the section of code where the symbolic value will be computed; determining, using the processor, a first set of control predicates relevant to the critical variable at the first instruction; refining, using the processor, the first range of potential values according to the first set of control predicates to generate a second range of potential values for the symbolic value; and reporting, using the processor, an error when the second range of potential values exceeds a predetermined value.