Update cpp/ql/lib/semmle/code/cpp/ir/dataflow/FlowSteps.qll

MathiasVP · geoffw0 · web-flow · commit 6a8c592900d4 · 2024-03-26T16:59:18.000Z
Co-authored-by: Geoffrey White &lt;40627776+geoffw0@users.noreply.github.com&gt;
diff --git a/cpp/ql/lib/semmle/code/cpp/ir/dataflow/FlowSteps.qll b/cpp/ql/lib/semmle/code/cpp/ir/dataflow/FlowSteps.qll
@@ -11,7 +11,7 @@ private import semmle.code.cpp.dataflow.new.DataFlow
  * is itself tainted.
  *
  * For example, if we had a type `struct Container { int field; }`, then by default a tainted
- * `Container` and a `Container` with a tainted `Contained` stored in its `field` are distinct.
+ * `Container` and a `Container` with a tainted `int` stored in its `field` are distinct.
  *
  * If `any(DataFlow::FieldContent fc | fc.getField().hasQualifiedName("Container", "field"))` was
  * included in this type however, then a tainted `Container` would imply that its `field` is also

Original file line number	Diff line number	Diff line change
`@@ -11,7 +11,7 @@ private import semmle.code.cpp.dataflow.new.DataFlow`
`11`	`11`	`* is itself tainted.`
`12`	`12`	`*`
`13`	`13`	* For example, if we had a type `struct Container { int field; }`, then by default a tainted
`14`		- * `Container` and a `Container` with a tainted `Contained` stored in its `field` are distinct.
	`14`	+ * `Container` and a `Container` with a tainted `int` stored in its `field` are distinct.
`15`	`15`	`*`
`16`	`16`	* If `any(DataFlow::FieldContent fc \| fc.getField().hasQualifiedName("Container", "field"))` was
`17`	`17`	* included in this type however, then a tainted `Container` would imply that its `field` is also