Fast and precise points-to analysis | doi.page