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