1. A method comprising: identifying pure pointers within a computer program; applying a preselected disambiguation rule to a first and second memory reference, said first and second memory reference each associated with a respective one of said pure pointers; and determining whether said first and second memory references are disjoint based on a result of said preselected disambiguation rule.