Directing verification towards bug-prone portions
US9389984B2 · kind B2 · utility
Assignee
Inventors
Key dates
| Filing date | Sep 10, 2013 |
| Grant date | Jul 12, 2016 |
| Priority date | — |
| Expiry date | Jan 6, 2034 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F11/3676
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A method, system and product for directing verification towards bug-prone portions. The method comprising syntactically analyzing a computer program to identify portions of the computer program that correspond to one or more bug patterns; and performing verification of the computer program, wherein the verification comprises traversing a control flow graph of the computer program and tracking symbolic values of variables of the computer program, wherein said performing comprises directing the traversal of the control flow graph to nodes of the control flow graph that correspond to the identified portions, whereby bug-prone portions of the computer program are prioritized to be verified before non-bug-prone portions of the computer program.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.