Skip to content

Latest commit

 

History

History

pta

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

DESCRIPTION

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.

COMPILE

Run make in the root directory or source file (e.g. apps/pta)

RUN

Execute as: ./pta NODES-FILE CONSTRAINTS-FILE HCD-TABLE SOLUTION-FILE [TRANSFER, VERIFY]