1. A computer implemented method for obtaining aliasing information for a target variable in a computer program, the computer implemented method comprising: partitioning a control flow graph representing the computer program into a taken address portion and an untaken address portion of the control flow graph, wherein the taken address portion comprises all reachable nodes within a plurality of nodes in the control flow graph at which the address of the target variable is taken, and wherein the untaken address portion comprises all other reachable nodes within the plurality of nodes to form a modified computer program; replacing, in the untaken address portion of the modified computer program, all references to the target variable with a temporary variable; initializing, in the taken address portion of the modified computer program, the target variable with the value from the temporary variable at each intermediary node in a set of intermediary node, wherein an intermediary node is a node at which an address of a target variable is taken; and generating the aliasing information for the target variable using the modified computer program.