New results on the computability and complexity of points - to analysis