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 E20 box on Canvas.

Exercise 20

Draw the exploded supergraph for the following program function:

class SupClass{
public:
	virtual int fun(SupClass * in){
		in->fun();
		return 1;
	}
};
class SupClass{
public:
	virtual int fun(SupClass * in){
		return 2;
	}
};
class SupClass{
public:
	virtual int fun(SupClass * in){
		return 3;
	}
};
int main(){
	SupClass * s = new SubA();
	s->fun();
}