EECS 677 - Secure Software Evaluation (Research)

If you turned in a solution in class, you already got credit for this assignment. Otherwise, answer the following and submit to the E21 box on Canvas.

Exercise 21

Draw the points-to relation from Andersen's analysis on the following function:

int main(){
	p = &x;
	if (x == 0){
		r = &p;
	} else {
		q = &y;
	}
	s = &q;
	r = s;
}