Which pointer analysis should I use?