Predicate strictlyPostDominates
Holds if (b1, i1) strictly post-dominates (b2, i2)
Import path
import semmle.code.cpp.security.flowafterfree.FlowAfterFreepredicate strictlyPostDominates(IRBlock b1, int i1, IRBlock b2, int i2)Holds if (b1, i1) strictly post-dominates (b2, i2)
import semmle.code.cpp.security.flowafterfree.FlowAfterFreepredicate strictlyPostDominates(IRBlock b1, int i1, IRBlock b2, int i2)