1. A method for identifying errors in computer software, the method comprising: executing one or more test tools to identify a potential problem in the computer software; electronically identifying a portion of the computer software affected by the identified potential problem; electronically determining a control flow graph and a data flow graph for the affected portion of the computer software originating at the identified potential problem; electronically back-tracking and forward-tracking the control flow graph and the data flow graph to verify that the identified potential problem is an actual error; and providing configuration for how large the control flow graph and a data flow graph need to be, and limit on the maximum time spent on verifying that the identified potential problem is an actual error.