Update cpp/ql/lib/semmle/code/cpp/models/implementations/Pure.qll

MathiasVP · paldepind · web-flow · commit fb12847360a3 · 2025-01-23T13:48:44.000Z
Co-authored-by: Simon Friis Vindum &lt;paldepind@github.com&gt;
diff --git a/cpp/ql/lib/semmle/code/cpp/models/implementations/Pure.qll b/cpp/ql/lib/semmle/code/cpp/models/implementations/Pure.qll
@@ -52,7 +52,7 @@ private class PureStrFunction extends AliasFunction, ArrayFunction, TaintFunctio
     // If there is taint flow from *input to *output then there is also taint
     // flow from input to output.
     this.hasTaintFlow(input.getIndirectionInput(), output.getIndirectionOutput()) and
-    // no need to add taint-flow if we already have dataflow
+    // No need to add taint flow if we already have data flow.
     not this.hasDataFlow(input, output)
   }
 

Original file line number	Diff line number	Diff line change
`@@ -52,7 +52,7 @@ private class PureStrFunction extends AliasFunction, ArrayFunction, TaintFunctio`
`52`	`52`	`// If there is taint flow from input to output then there is also taint`
`53`	`53`	`// flow from input to output.`
`54`	`54`	`this.hasTaintFlow(input.getIndirectionInput(), output.getIndirectionOutput()) and`
`55`		`- // no need to add taint-flow if we already have dataflow`
	`55`	`+ // No need to add taint flow if we already have data flow.`
`56`	`56`	`not this.hasDataFlow(input, output)`
`57`	`57`	`}`
`58`	`58`