Correction: neutral models only affect summaries

owen-mc · owen-mc · commit a782c0f24fe1 · 2026-03-26T11:43:29.000Z
diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/ExternalFlow.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/ExternalFlow.qll
@@ -17,7 +17,7 @@
  *   `namespace; type; subtypes; name; signature; ext; input; acceptingvalue; kind; provenance`
  * - Neutrals:
  *   `namespace; type; name; signature; kind; provenance`
- *   A neutral is used to indicate that a callable is neutral with respect to flow (no summary), source (is not a source) or sink (is not a sink).
+ *   A neutral is used to indicate that a callable is neutral with respect to flow (no summary).
  *
  * The interpretation of a row is similar to API-graphs with a left-to-right
  * reading.
diff --git a/go/ql/lib/semmle/go/dataflow/ExternalFlow.qll b/go/ql/lib/semmle/go/dataflow/ExternalFlow.qll
@@ -17,7 +17,7 @@
  *   `package; type; subtypes; name; signature; ext; input; acceptingvalue; kind; provenance`
  * - Neutrals:
  *   `package; type; name; signature; kind; provenance`
- *   A neutral is used to indicate that a callable is neutral with respect to flow (no summary), source (is not a source) or sink (is not a sink).
+ *   A neutral is used to indicate that a callable is neutral with respect to flow (no summary).
  *
  * The interpretation of a row is similar to API-graphs with a left-to-right
  * reading.
diff --git a/java/ql/lib/semmle/code/java/dataflow/ExternalFlow.qll b/java/ql/lib/semmle/code/java/dataflow/ExternalFlow.qll
@@ -17,7 +17,7 @@
  *   `package; type; subtypes; name; signature; ext; input; acceptingvalue; kind; provenance`
  * - Neutrals:
  *   `package; type; name; signature; kind; provenance`
- *   A neutral is used to indicate that a callable is neutral with respect to flow (no summary), source (is not a source) or sink (is not a sink).
+ *   A neutral is used to indicate that a callable is neutral with respect to flow (no summary).
  *
  * The interpretation of a row is similar to API-graphs with a left-to-right
  * reading.
diff --git a/rust/ql/lib/codeql/rust/dataflow/internal/ModelsAsData.qll b/rust/ql/lib/codeql/rust/dataflow/internal/ModelsAsData.qll
@@ -15,7 +15,7 @@
  *   `path; input; branch; kind; provenance`
  * - Neutrals:
  *   `package; type; name; signature; kind; provenance`
- *   A neutral is used to indicate that a callable is neutral with respect to flow (no summary), source (is not a source) or sink (is not a sink).
+ *   A neutral is used to indicate that a callable is neutral with respect to flow (no summary).
  *
  * The interpretation of a row is similar to API-graphs with a left-to-right
  * reading.

Original file line number	Diff line number	Diff line change
`@@ -17,7 +17,7 @@`
`17`	`17`	* `namespace; type; subtypes; name; signature; ext; input; acceptingvalue; kind; provenance`
`18`	`18`	`* - Neutrals:`
`19`	`19`	* `namespace; type; name; signature; kind; provenance`
`20`		`- * A neutral is used to indicate that a callable is neutral with respect to flow (no summary), source (is not a source) or sink (is not a sink).`
	`20`	`+ * A neutral is used to indicate that a callable is neutral with respect to flow (no summary).`
`21`	`21`	`*`
`22`	`22`	`* The interpretation of a row is similar to API-graphs with a left-to-right`
`23`	`23`	`* reading.`
Original file line number	Diff line number	Diff line change
`@@ -15,7 +15,7 @@`
`15`	`15`	* `path; input; branch; kind; provenance`
`16`	`16`	`* - Neutrals:`
`17`	`17`	* `package; type; name; signature; kind; provenance`
`18`		`- * A neutral is used to indicate that a callable is neutral with respect to flow (no summary), source (is not a source) or sink (is not a sink).`
	`18`	`+ * A neutral is used to indicate that a callable is neutral with respect to flow (no summary).`
`19`	`19`	`*`
`20`	`20`	`* The interpretation of a row is similar to API-graphs with a left-to-right`
`21`	`21`	`* reading.`