Rust: Make QL-for-QL happy.

Author: geoffw0

rust/ql/src/queries/summary/CryptographicOperations.ql

@@ -38,15 +38,15 @@ string describeAlgorithm(Cryptography::CryptographicAlgorithm alg) {
 }
 
 /**
- * Gets a feature of cryptographic operation `operation`.
+ * Gets a feature of cryptographic operation `op`.
  */
 string getOperationFeature(Cryptography::CryptographicOperation op) {
   result = "inputs:" + strictcount(op.getAnInput()).toString() or
   result = "blockmodes:" + strictcount(op.getBlockMode()).toString()
 }
 
 /**
- * Gets a description of cryptographic operation `operation`.
+ * Gets a description of cryptographic operation `op`.
  */
 string describeOperation(Cryptography::CryptographicOperation op) {
   result = describeAlgorithm(op.getAlgorithm()) + " " + concat(getOperationFeature(op), ", ")

rust/ql/src/queries/summary/QuerySinks.ql

@@ -14,4 +14,4 @@ import codeql.rust.dataflow.DataFlow
 import Stats
 
 from DataFlow::Node n
-select n, "sink for " + strictconcat(getAQuerySinkKind(n), ", ")
+select n, "Sink for " + strictconcat(getAQuerySinkKind(n), ", ")

rust/ql/src/queries/summary/TaintReach.qll

@@ -9,7 +9,7 @@ private import codeql.rust.dataflow.DataFlow
 private import codeql.rust.dataflow.TaintTracking
 
 /**
- * A taint configuration for taint reach (flow to any node from any modelled source).
+ * A taint configuration for taint reach (flow to any node from any modeled source).
  */
 private module TaintReachConfig implements DataFlow::ConfigSig {
   predicate isSource(DataFlow::Node node) { node instanceof ActiveThreatModelSource }