Files
codeql/cpp/ql/test/library-tests/dataflow/fields/ir-path-flow.ql
Jeroen Ketema aeb6293757 C++: Rewrite flow test common to use inline expectation test module
This also rewrites all uses of flow test common to use `DataFlow::ConfigSig`.

Note that the removed deprecated aliases are 14 months old by now and, hence,
can be safely removed.
2023-05-23 16:34:41 +02:00

12 lines
276 B
Plaintext

/**
* @kind path-problem
*/
import semmle.code.cpp.ir.dataflow.DataFlow
import IRConfiguration
import IRFlow::PathGraph
from IRFlow::PathNode src, IRFlow::PathNode sink
where IRFlow::flowPath(src, sink)
select sink, src, sink, sink + " flows from $@", src, src.toString()