Holds if node
with access path ap
is part of a path from a source to a
sink.
The parameter returnCtx
records whether (and how) the node must be returned
from the enclosing callable in order to reach a sink, and if so, returnAp
records the access path of the returned value.
Import path
import codeql.dataflow.internal.DataFlowImpl