Holds if node is part of a path from a source to a sink.
The Boolean toReturn records whether the node must be returned from
the enclosing callable in order to reach a sink.
Import path
import codeql.dataflow.internal.DataFlowImplHolds if node is part of a path from a source to a sink.
The Boolean toReturn records whether the node must be returned from
the enclosing callable in order to reach a sink.
import codeql.dataflow.internal.DataFlowImpl