C++: Fix deprecation warning

This commit is contained in:
Jeroen Ketema
2023-03-24 10:33:05 +01:00
parent 9123657fd2
commit 12702b59d3

View File

@@ -295,14 +295,14 @@ module ProductFlow {
predicate isSource(DataFlow::Node source, FlowState state) {
exists(Flow1::PathNode source1 |
Config::isSourcePair(source1.getNode(), source1.getState(), source, state) and
Flow1::hasFlowPath(source1, _)
Flow1::flowPath(source1, _)
)
}
predicate isSink(DataFlow::Node sink, FlowState state) {
exists(Flow1::PathNode sink1 |
Config::isSinkPair(sink1.getNode(), sink1.getState(), sink, state) and
Flow1::hasFlowPath(_, sink1)
Flow1::flowPath(_, sink1)
)
}