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, wherein the order sensitivity dimension comprises a quantification of an extent to which execution order of statements of the computer program are considered in pointer analysis, the predicate sensitivity dimension comprises a quantification of an extent to which conditions in the computer program are considered in pointer analysis and the value persistence dimension comprises a quantification of an extent to which subsequent value assignments to pointers within the computer program supersede previous value assignments to the pointers during pointer analysis; identifying a point in the three-dimensional space, the point yielding values for the order sensitivity, predicate sensitivity and value persistence; and conducting pointer analysis on the computer program using the identified values for the order sensitivity, predicate sensitivity and value persistence.