Accept Copilot suggestions

Some typos and exclude constructor patterns from call graph stats

Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>

Author: asgerf

unified/ql/lib/codeql/unified/internal/AnalysisQuality.qll

@@ -93,6 +93,8 @@ module FilesCoveredByModuleManifestStatsReport =
 
 module CallGraphStats implements EntityStatsSig {
   class Candidate extends CallExpr {
+    Candidate() { exists(DataFlowCall c | c.asExplicitCall() = this) }
+
     DataFlowCall getDataFlowCall() { result.asExplicitCall() = this }
 
     DataFlowCallable getTarget() { result = viableCallable(this.getDataFlowCall()) }

unified/ql/lib/codeql/unified/internal/dataflow/DataFlowCall.qll

@@ -8,7 +8,7 @@ private newtype TDataFlowCall =
   }
 
 /**
- * A call site, covering both explicit calls such as `foo(1,2)`, as well an implicit
+ * A call site, covering explicit calls such as `foo(1,2)`, as well as implicit
  * calls and calls derived from library models.
  *
  * Currently only explicit calls are implemented.

unified/ql/lib/codeql/unified/internal/dataflow/DataFlowCallable.qll

@@ -4,7 +4,7 @@ private import AllDataFlow
 private newtype TDataFlowCallable = TSourceCallable(Callable callable)
 
 /**
- * A callable entity, either an function-like entity in the source code,
+ * A callable entity: either a function-like entity in source code or
  * an entity derived from a library model.
  *
  * Currently only callables in source code are implemented.

unified/ql/lib/codeql/unified/internal/dataflow/DataFlowNode.qll

@@ -38,7 +38,7 @@ private predicate hasPostUpdate(Expr expr, ControlFlowNode cfgNode) {
 /**
  * Holds if `repr` performs an access to `var` of the given `kind` at `cfgNode`.
  *
- * `repr` should be an arbitary but unique representative for the access.
+ * `repr` should be an arbitrary but unique representative for the access.
  */
 predicate performsVariableAccess(
   AstNode repr, LocalVariable var, VariableRefKind kind, ControlFlowNode cfgNode

unified/ql/lib/codeql/unified/internal/dataflow/LocalSsa.qll

@@ -105,7 +105,7 @@ Node getNodeFromLocalSsaNode(Ssa::Node n) {
 }
 
 /**
- * Holds if there is use-use flow from `node1`, through one or most post-update reads, into `node2`.
+ * Holds if there is use-use flow from `node1`, through one or more post-update reads, into `node2`.
  */
 predicate skipPostUpdateRead(Ssa::Node node1, Ssa::Node node2) {
   Ssa::localFlowStep(_, node1, node2, true) and