/**
* @kind path-problem
*/

import cpp
import testlib

import FlowTest::PathGraph

query predicate nodes(FlowTest::PathNode n, string key, string val) {
  key = "semmle.label" and val = n.toString() + " " + n.getState().(ConnState).toString()
}

from FlowTest::PathNode source, FlowTest::PathNode sink,
 ConnState sig, ConnState sig2
where FlowTest::flowPath(source, sink)
and sig = sink.getState() and sig2 = source.getState()
select sink.getNode(), source, sink,  "Unsafe data from sig $@ to sig $@  ",  sig2, sig2.toString(), sig, sig.toString()