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.
| Original language | English |
|---|---|
| Patent number | US2015074651 |
| IPC | G06F 11/ 36 A I |
| Priority date | 10/09/13 |
| State | Published - 12 Mar 2015 |