C++: Use isBarrier rather than isBarrierOut (which is going away).

geoffw0 · geoffw0 · commit 2ac21d693290 · 2022-04-14T09:21:57.000+01:00
diff --git a/cpp/ql/src/Security/CWE/CWE-611/XXE.ql b/cpp/ql/src/Security/CWE/CWE-611/XXE.ql
@@ -189,7 +189,7 @@ class XXEConfiguration extends DataFlow::Configuration {
     DataFlow::simpleLocalFlowStep(node1, node2)
   }
 
-  override predicate isBarrierOut(DataFlow::Node node, string flowstate) {
+  override predicate isBarrier(DataFlow::Node node, string flowstate) {
     // when the flowstate is transformed at a call node, block the original
     // flowstate value.
     node.asConvertedExpr().(XXEFlowStateTranformer).transform(flowstate) != flowstate

Original file line number	Diff line number	Diff line change
`@@ -189,7 +189,7 @@ class XXEConfiguration extends DataFlow::Configuration {`
`189`	`189`	`DataFlow::simpleLocalFlowStep(node1, node2)`
`190`	`190`	`}`
`191`	`191`
`192`		`- override predicate isBarrierOut(DataFlow::Node node, string flowstate) {`
	`192`	`+ override predicate isBarrier(DataFlow::Node node, string flowstate) {`
`193`	`193`	`// when the flowstate is transformed at a call node, block the original`
`194`	`194`	`// flowstate value.`
`195`	`195`	`node.asConvertedExpr().(XXEFlowStateTranformer).transform(flowstate) != flowstate`