Execute dice queries. Each dice computes the intersection of a forward slice from from and a backward slice from to, yielding only those program points that lie on a path from the start criteria to the end criteria.
from
to
Execute dice queries. Each dice computes the intersection of a forward slice from
fromand a backward slice fromto, yielding only those program points that lie on a path from the start criteria to the end criteria.