Predicate PathGraph::edges

Holds if (pred,succ) is an edge in the graph of data flow path explanations.

Import path

import semmle.code.csharp.security.dataflow.XSSQuery

predicate edges(XssNode pred, XssNode succ, string key, string val)