Invia SMS: Searching for points-to analysis