Improve precision - paths

Intraprocedural: Meet over all paths ? meet over all feasible paths

• eliminating infeasible paths due to branch correlation detected statically

Interprocedural: Meet over all paths ? meet over all valid paths

• match call and returns

Path sensitivity

• partition program and apply different algorithms - more precision on some partitions than others
• isolate paths and provide more precision on these paths

Previous slide

Next slide

Back to first slide

View graphic version