Confidence-based static analysis
AssigneeInternational Business Machines Corporation
InventorsMarco Pistoia, Omer Tripp
Life of this patent
Estimating the term…
Abstract
Systems, methods and program products are provided for confidence-based static analysis, including initiating a static analysis of computer software, associating a confidence value with a first element of the static analysis, determining a current state of the static analysis, calculating an adjusted confidence value in accordance with a confidence adjustment function as applied to the current state and the confidence value associated with the first element, associating the adjusted confidence value with a second element of the static analysis resulting from a transition from the first element, and eliminating the second element from the static analysis if the adjusted confidence value meets elimination criteria.
Claims7
A method, comprising:
- initiating a static analysis of computer software;
- associating a confidence value with a first element of said static analysis;
- determining a current state of said static analysis;
- calculating, by operation of one or more computer processors, an adjusted confidence value in accordance with a confidence adjustment function as applied to said current state and said confidence value associated with said first element;
- associating said adjusted confidence value with a second element of said static analysis resulting from a transition from said first element;
- and
- eliminating said second element from said static analysis if said adjusted confidence value meets elimination criteria.
Dependencies are inferred from the claim text.