Precision - paths and names

Intraprocedural paths

• Flow insensitive - no control used
• Flow sensitive - all paths

Interprocedural paths

• Calling context insensitive
• Calling context sensitive
  • valid paths based on matching calls and returns

Names

• lexical
• numbering

Previous slide

Next slide

Back to first slide

View graphic version