C++: Fix Code Scanning alert.

MathiasVP · MathiasVP · commit b0af4cba30ff · 2022-09-30T10:05:45.000+01:00
diff --git a/cpp/ql/src/experimental/Security/CWE/CWE-193/InvalidPointerDeref.ql b/cpp/ql/src/experimental/Security/CWE/CWE-193/InvalidPointerDeref.ql
@@ -133,7 +133,7 @@ class AllocToInvalidPointerConf extends ProductFlow::Configuration {
     node = any(DataFlow::SsaPhiNode phi).getAnInput(true)
   }
 
-  override predicate isBarrierIn1(DataFlow::Node node) { isSourcePair(node, _, _, _) }
+  override predicate isBarrierIn1(DataFlow::Node node) { this.isSourcePair(node, _, _, _) }
 }
 
 pragma[nomagic]

Original file line number	Diff line number	Diff line change
`@@ -133,7 +133,7 @@ class AllocToInvalidPointerConf extends ProductFlow::Configuration {`
`133`	`133`	`node = any(DataFlow::SsaPhiNode phi).getAnInput(true)`
`134`	`134`	`}`
`135`	`135`
`136`		`- override predicate isBarrierIn1(DataFlow::Node node) { isSourcePair(node, _, _, _) }`
	`136`	`+ override predicate isBarrierIn1(DataFlow::Node node) { this.isSourcePair(node, _, _, _) }`
`137`	`137`	`}`
`138`	`138`
`139`	`139`	`pragma[nomagic]`