recursive pointer chasing analysis