Static analysis based efficient elimination of false positive
US10002064B2 · kind B2 · utility
Assignee
Inventor
Key dates
| Filing date | Aug 26, 2016 |
| Grant date | Jun 19, 2018 |
| Priority date | — |
| Expiry date | Aug 26, 2036 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/75
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method and a system is disclosed herein for model checker based efficient elimination of false positives from static analysis warnings generated during static analysis of an application code. The system computes complete-range non-deterministic value variables (cnv variables) that are based on data flow analysis or static approximation of execution paths by control flow paths. During computation of cnv variables, over approximation (may-cnv variables) and under approximation (must-cnv variables) of a set of cnv variables at a program point is identified. The computed cnv variables are used to check whether an assertion variable is a cnv variable and the corresponding assertion verification call is redundant or otherwise. The identified redundant calls are then skipped for the efficiency of the false positives elimination and the model checker is invoked corresponding to the non-redundant assertion verification calls.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.