mirror of
https://github.com/github/codeql.git
synced 2026-04-23 15:55:18 +02:00
Fix variable names in QLDocs
This commit is contained in:
@@ -310,7 +310,7 @@ private newtype TSsaWithFields =
|
||||
TStep(SsaWithFields base, Field f) { exists(accessPathAux(base, f)) }
|
||||
|
||||
/**
|
||||
* Gets a representation of `nd` as an ssa-with-fields value if there is one.
|
||||
* Gets a representation of `insn` as an ssa-with-fields value if there is one.
|
||||
*/
|
||||
private TSsaWithFields accessPath(IR::Instruction insn) {
|
||||
exists(SsaVariable v | insn = v.getAUse() | result = TRoot(v))
|
||||
|
||||
@@ -86,7 +86,7 @@ class GoModDependency extends Dependency, GoModRequireLine {
|
||||
}
|
||||
|
||||
/**
|
||||
* Holds if this require line originally states dependency `path` had version `ver`.
|
||||
* Holds if this require line originally states dependency `path` had version `v`.
|
||||
*
|
||||
* The actual info of this dependency can change based on `replace` directives in the same go.mod
|
||||
* file, which replace a dependency with another one.
|
||||
|
||||
@@ -14,7 +14,7 @@
|
||||
import go
|
||||
|
||||
/**
|
||||
* Holds if `src` is a pattern for a collection of alternatives where
|
||||
* Holds if `re` is a pattern for a collection of alternatives where
|
||||
* only the first or last alternative is anchored, indicating a
|
||||
* precedence mistake explained by `msg`.
|
||||
*
|
||||
@@ -46,7 +46,7 @@ predicate isInterestingSemiAnchoredRegexpString(string re, string msg) {
|
||||
}
|
||||
|
||||
/**
|
||||
* Holds if `src` is an unanchored pattern for a URL, indicating a
|
||||
* Holds if `re` is an unanchored pattern for a URL, indicating a
|
||||
* mistake explained by `msg`.
|
||||
*/
|
||||
bindingset[re]
|
||||
|
||||
@@ -166,7 +166,7 @@ class FlowsFromUntrusted extends TaintTracking::Configuration {
|
||||
}
|
||||
|
||||
/**
|
||||
* Holds if the provided `dst` is also destination of a `UntrustedFlowSource`.
|
||||
* Holds if the provided `allowOriginHW` is also destination of a `UntrustedFlowSource`.
|
||||
*/
|
||||
predicate flowsToGuardedByCheckOnUntrusted(AllowOriginHeaderWrite allowOriginHW) {
|
||||
exists(FlowsFromUntrusted cfg, DataFlow::Node sink, ControlFlow::ConditionGuardNode cgn |
|
||||
|
||||
Reference in New Issue
Block a user