1. A method comprising: obtaining a set of hints for use in performing reachability analysis of a program, each hint defining a particular computational path of the program; and determining an order to apply the hints when performing reach-ability analysis comprising: determining that a variable which is set in the program path defined by a first hint is used in a program path defined by a second hint; and prioritizing the first hint over the second hint.