Selective object sensitive points-to analysis