hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-19 14:04:09 +02:00
Code Issues Packages Projects Releases Wiki Activity

Rust: Make QL-for-QL happy.

Browse Source
This commit is contained in:
Geoffrey White
2025-01-15 17:51:49 +00:00
parent 787a6d11a3
commit 98e0b64266
3 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
rust/ql/src/queries/summary/CryptographicOperations.ql
View File

@@ -38,7 +38,7 @@ 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
@@ -46,7 +46,7 @@ string getOperationFeature(Cryptography::CryptographicOperation op) {
}
/**
* 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), ", ")

2
rust/ql/src/queries/summary/QuerySinks.ql
View File

@@ -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), ", ")

2
rust/ql/src/queries/summary/TaintReach.qll
View File

@@ -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 }