Points-to analysis¶ Stub This page has not been written yet. Planned contents: Analysis model Running with --pta Output format (--dump-pta)