Dense Interprocedural Dominance in Acyclic Graphs: Context Bounds and Compact Queries

Peisen Yao

Interprocedural dominance asks which program points every matched call-and-return execution must pass on its way to a target. An analysis that writes out immediate dominance pays f…