1. A method for conducting pointer analysis on a computer program, the method comprising: defining a three-dimensional space comprising an order sensitivity dimension, a predicate sensitivity dimension and a value persistence dimension; identifying a point in the three-dimensional space, the point yielding values for order sensitivity, predicate sensitivity and value persistence; and conducting pointer analysis on a computer program in accordance with the identified values for order sensitivity, predicate sensitivity and value persistence.