Predicate flowsTo

Holds if data can flow (inter-procedurally) from source to sink.

Will only have results if configuration has non-empty sources and sinks.

Import path

import semmle.code.cpp.ir.dataflow.internal.DataFlowImpl3
predicate flowsTo(Node source, Node sink, Configuration configuration)