Update cpp/ql/src/semmle/code/cpp/dataflow/internal/TaintTrackingUtil.qll

geoffw0 · intrigus-lgtm · web-flow · commit 1c38a4d5d635 · 2020-08-24T14:33:51.000+01:00
Co-authored-by: intrigus-lgtm &lt;60750685+intrigus-lgtm@users.noreply.github.com&gt;
diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/TaintTrackingUtil.qll b/cpp/ql/src/semmle/code/cpp/dataflow/internal/TaintTrackingUtil.qll
@@ -86,7 +86,7 @@ predicate localAdditionalTaintStep(DataFlow::Node nodeFrom, DataFlow::Node nodeT
   // Reverse taint: if a function model has taint from the qualifier to the
   // dereferenced return value, also apply reverse taint from the post-update
   // of the return value back to the qualifier. This allows taint to flow 'in'
-  // through references returned by a modelled function such as `operator[]`.
+  // through references returned by a modeled function such as `operator[]`.
   exists(
     TaintFunction f, Call call, FunctionInput inModel, FunctionOutput outModel
   |

Original file line number	Diff line number	Diff line change
`@@ -86,7 +86,7 @@ predicate localAdditionalTaintStep(DataFlow::Node nodeFrom, DataFlow::Node nodeT`
`86`	`86`	`// Reverse taint: if a function model has taint from the qualifier to the`
`87`	`87`	`// dereferenced return value, also apply reverse taint from the post-update`
`88`	`88`	`// of the return value back to the qualifier. This allows taint to flow 'in'`
`89`		- // through references returned by a modelled function such as `operator[]`.
	`89`	+ // through references returned by a modeled function such as `operator[]`.
`90`	`90`	`exists(`
`91`	`91`	`TaintFunction f, Call call, FunctionInput inModel, FunctionOutput outModel`
`92`	`92`	`\|`