Update csharp/ql/lib/semmle/code/csharp/dataflow/internal/SsaImpl.qll

hvitved · Copilot · web-flow · commit 1f3a8319ed4e · 2026-05-04T09:41:00.000+02:00
Co-authored-by: Copilot &lt;175728472+Copilot@users.noreply.github.com&gt;
diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/SsaImpl.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/SsaImpl.qll
@@ -1019,7 +1019,7 @@ private module DataFlowIntegrationInput implements Impl::DataFlowIntegrationInpu
   }
 
   /**
-   * Allows for flow into uncertain defintions that are not call definitions,
+   * Allows for flow into uncertain definitions that are not call definitions,
    * as we, conservatively, consider such definitions to be certain.
    */
   predicate allowFlowIntoUncertainDef(Impl::UncertainWriteDefinition def) {

Original file line number	Diff line number	Diff line change
`@@ -1019,7 +1019,7 @@ private module DataFlowIntegrationInput implements Impl::DataFlowIntegrationInpu`
`1019`	`1019`	`}`
`1020`	`1020`
`1021`	`1021`	`/**`
`1022`		`- * Allows for flow into uncertain defintions that are not call definitions,`
	`1022`	`+ * Allows for flow into uncertain definitions that are not call definitions,`
`1023`	`1023`	`* as we, conservatively, consider such definitions to be certain.`
`1024`	`1024`	`*/`
`1025`	`1025`	`predicate allowFlowIntoUncertainDef(Impl::UncertainWriteDefinition def) {`