Predicate DomBasedXss::isOptionallySanitizedEdge
Holds if there exists two dataflow edges to succ, where one edges is sanitized, and the other edge starts with pred.
Import path
import semmle.javascript.security.dataflow.DomBasedXssCustomizationspredicate isOptionallySanitizedEdge(Node pred, Node succ)