Points-to Toolbox This repository contains an Atlas native points-to analysis implementation and utilities for using the results.