Patent ID: 8443342

Claim:
One or more computer storage media having computer-executable instructions embodied thereon, that when executed, cause a computing device to perform a method for facilitating static software program analysis that presents alternative error paths to users, the method comprising: from a set of error paths, presenting a first error path comprising a first path of a software program including an error; receiving an indication that the first error path is to be avoided; in response to the received indication, identifying a second error path of the software program including the error, wherein the second error path is identified from among the set of error paths; presenting the second error path comprising a second path of a software program including the error; and selecting the second error path from the set of error paths, wherein the first error path and the second error path are different and the second error path is selected based on a length of the second error path relative to a length corresponding with error paths within the set of error paths.