| COVERITY, INC. Patent applications |
| Patent application number | Title | Published |
|---|
| 20110270838 | UPDATING GROUPS OF ITEMS - Updating a set of items is disclosed. A set of items is received. The set of items is partitioned into groups. Group dependency information for the groups is calculated. Optionally, a dependency report is produced. Optionally, groups are updated. Optionally, change impact analysis is performed. | 11-03-2011 |
| 20100005444 | Methods for Marking, Merging, and Managing the Results of Software Program Analysis - Methods are provided for marking and merging individual report elements, patterns, or defects resulting from analysis based on common characteristics within a report or across reports resulting from different analysis runs. Methods are also provided for migrating a set of report elements, patterns, or defects resulting from one version of an analysis tool to one consistent with a new version of the analysis tool while preserving as much information as possible from the older set. | 01-07-2010 |
| 20090077542 | METHODS FOR SELECTIVELY PRUNING FALSE PATHS IN GRAPHS THAT USE HIGH-PRECISION STATE INFORMATION - Methods are provided that allow a false path pruner to traverse a directed acyclic graph in conjunction with one or more checker programs that are analyzing a program for defects or other artifacts of interest. While the checkers may have ways of avoiding re-traversal of portions of the graph that have already been traversed, the false path pruner may override such decisions made by the checkers as a result of a false path in order to allow re-traversal during a future different traversal when that same defect or artifact may not lie along a false path, and therefore avoid missing a valid defect or artifact. Computer programs stored on tangible media are provided that implement the methods of the invention. | 03-19-2009 |
