Stav dette: Searching for points-to analysis