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.DataFlowImpl
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 codeql.dataflow.internal.DataFlowImpl