1. A computer-implemented method comprising: computing, by one or more computing devices, one or more dynamic hints based on a finite set of executions of a computer program; performing, by the one or more computing devices, a hybrid dependence analysis of one or more statements of the computer program, including performing a specialized static abstraction to create confidence in a result of one or more dependency queries, wherein the specialized static abstraction is based upon, at least in part, memory locations and the one or more dynamic hints; and normalizing, by the one or more computing devices, the memory locations across different traces of the finite set of executions of the computer program based upon, at least in part, the specialized static abstraction.