Plenty of Paths

• Acyclic paths

  • Cyclic paths are unbounded
  • Acyclic paths are merely exponential

• Paths start at procedure entry or loop head

• Intraprocedural paths

  • Extension to interprocedural paths

Previous slide

Next slide

Back to first slide

View graphic version