1. A computer-implemented method comprising: syntactically analyzing a computer program to identify portions of the computer program that correspond to one or more bug patterns; performing, by a processor, 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.