Skip to content

Commit 3185298

Browse files
authored
Merge pull request #20335 from michaelnebel/shared/ql4ql
Shared and Sync: Fix some Ql4Ql violations.
2 parents 0bb7fdc + 7490d8d commit 3185298

File tree

4 files changed

+14
-13
lines changed

4 files changed

+14
-13
lines changed

javascript/ql/lib/semmle/javascript/frameworks/data/internal/ApiGraphModelsExtensions.qll

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44

55
/**
66
* Holds if the value at `(type, path)` should be seen as a flow
7-
* source of the given `kind`.
7+
* source of the given `kind` and `madId` is the data extension row number.
88
*
99
* The kind `remote` represents a general remote flow source.
1010
*/
@@ -14,13 +14,14 @@ extensible predicate sourceModel(
1414

1515
/**
1616
* Holds if the value at `(type, path)` should be seen as a sink
17-
* of the given `kind`.
17+
* of the given `kind` and `madId` is the data extension row number.
1818
*/
1919
extensible predicate sinkModel(string type, string path, string kind, QlBuiltins::ExtensionId madId);
2020

2121
/**
2222
* Holds if in calls to `(type, path)`, the value referred to by `input`
23-
* can flow to the value referred to by `output`.
23+
* can flow to the value referred to by `output` and `madId` is the data
24+
* extension row number.
2425
*
2526
* `kind` should be either `value` or `taint`, for value-preserving or taint-preserving steps,
2627
* respectively.

python/ql/lib/semmle/python/frameworks/data/internal/ApiGraphModelsExtensions.qll

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44

55
/**
66
* Holds if the value at `(type, path)` should be seen as a flow
7-
* source of the given `kind`.
7+
* source of the given `kind` and `madId` is the data extension row number.
88
*
99
* The kind `remote` represents a general remote flow source.
1010
*/
@@ -14,13 +14,14 @@ extensible predicate sourceModel(
1414

1515
/**
1616
* Holds if the value at `(type, path)` should be seen as a sink
17-
* of the given `kind`.
17+
* of the given `kind` and `madId` is the data extension row number.
1818
*/
1919
extensible predicate sinkModel(string type, string path, string kind, QlBuiltins::ExtensionId madId);
2020

2121
/**
2222
* Holds if in calls to `(type, path)`, the value referred to by `input`
23-
* can flow to the value referred to by `output`.
23+
* can flow to the value referred to by `output` and `madId` is the data
24+
* extension row number.
2425
*
2526
* `kind` should be either `value` or `taint`, for value-preserving or taint-preserving steps,
2627
* respectively.

ruby/ql/lib/codeql/ruby/frameworks/data/internal/ApiGraphModelsExtensions.qll

Lines changed: 4 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44

55
/**
66
* Holds if the value at `(type, path)` should be seen as a flow
7-
* source of the given `kind`.
7+
* source of the given `kind` and `madId` is the data extension row number.
88
*
99
* The kind `remote` represents a general remote flow source.
1010
*/
@@ -14,13 +14,14 @@ extensible predicate sourceModel(
1414

1515
/**
1616
* Holds if the value at `(type, path)` should be seen as a sink
17-
* of the given `kind`.
17+
* of the given `kind` and `madId` is the data extension row number.
1818
*/
1919
extensible predicate sinkModel(string type, string path, string kind, QlBuiltins::ExtensionId madId);
2020

2121
/**
2222
* Holds if in calls to `(type, path)`, the value referred to by `input`
23-
* can flow to the value referred to by `output`.
23+
* can flow to the value referred to by `output` and `madId` is the data
24+
* extension row number.
2425
*
2526
* `kind` should be either `value` or `taint`, for value-preserving or taint-preserving steps,
2627
* respectively.

shared/quantum/codeql/quantum/experimental/Model.qll

Lines changed: 2 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -365,7 +365,7 @@ module CryptographyBase<LocationSig Location, InputSig<Location> Input> {
365365
*/
366366
abstract class ArtifactConsumer extends ConsumerElement {
367367
/**
368-
* Use `getAKnownArtifactSource() instead. The behaviour of these two predicates is equivalent.
368+
* Use `getAKnownArtifactSource() instead. The behavior of these two predicates is equivalent.
369369
*/
370370
final override KnownElement getAKnownSource() { result = this.getAKnownArtifactSource() }
371371

@@ -1841,9 +1841,7 @@ module CryptographyBase<LocationSig Location, InputSig<Location> Input> {
18411841
* An SCRYPT key derivation algorithm node.
18421842
*/
18431843
class ScryptAlgorithmNode extends KeyDerivationAlgorithmNode {
1844-
ScryptAlgorithmInstance scryptInstance;
1845-
1846-
ScryptAlgorithmNode() { scryptInstance = instance.asAlg() }
1844+
ScryptAlgorithmNode() { instance.asAlg() instanceof ScryptAlgorithmInstance }
18471845

18481846
/**
18491847
* Gets the iteration count (`N`) argument

0 commit comments

Comments
 (0)