1. 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: presenting a first error path comprising a first path of a software program including an error; receiving an indication to navigate to another error path of the software program including the same error; and presenting a second error path comprising a second path of a software program including the same error.