Given a set of points-to constraints, the problem is to compute the points-to information for each pointer, in a flow-insensitive context-insensitive manner.
Run make in the root directory or source file (e.g. apps/pta)
Execute as: ./pta NODES-FILE CONSTRAINTS-FILE HCD-TABLE SOLUTION-FILE [TRANSFER, VERIFY]