Steensgaard's Points To Analysis
Instructions
Each constraints should be written in new line.
Enter constraints as:
1: p=q
2: p=&q
3: p=*q
4: *p=&q
5: *p=q
6: *p=*q
Program Statements
Points-To Information
Self-loop
Iteration by Iteration
Created by Sudhir Samrit and Subhash Jha as a course project for CS6843 Program Analysis in Jan 2014