Methods for selectively pruning false paths in graphs that use high-precision state information
US8359583B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Aug 22, 2008 |
| Grant date | Jan 22, 2013 |
| Priority date | — |
| Expiry date | Nov 23, 2031 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/75
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
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.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.