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

Exercise 3

Draw the Control Flow Graph for the following code

void v(int a){
  if (a < 2){
    while (c < 3){
      c++;
    }
    if (b > 3){
      c = 12;
    }
  }
  return;
}