This package defines utilities to help navigate pointer analysis results.