Tools for Graphs

Example Graphs

• Abnormal Selection

  (A,B);(B,C);(B,D);(C,E);(D,E);(D,F);(E,F)

• Multi-Exit Loop

  (A,B);(B,D);(B,E);(D,B);(D,E);(E,F)

• Multi-Entry Loop

  (A,B);(B,D);(B,E);(D,E);(E,D);(E,F)

• Overlapping Loops

  (A,B);(B,D);(D,B);(D,E);(E,D);(E,F)

• Parallel Loops

  (A,B);(B,C);(B,D);(C,B);(C,E);(D,B);(D,E)

• Nested Aborts

  (0,1);(0,3);(0,2);(0,4);(0,5);
  (5,1);(5,3);(5,2);(5,4);
  (4,1);(4,3);(4,2);
  (2,1);(2,3);
  (3,1);

• Short Circuit Evaluation (Unstructured)

  (1,2);(2,3);(3,4);(4,5);(5,y0);(y0,end);(1,y1);(2,y1);(3,y1);(4,y1);(5,y1);(y1,end)

• Short Circuit Evaluation (Structured)

  (0,1);(0,2);(1,end);
  (2,3);(2,4);(3,end);
  (4,5);(4,6);(5,end);
  (6,7);(6,8);(7,end);
  (8,9);(8,A);(9,end);(A,end);