Skip to content

Commit 3acd718

Browse files
authored
Merge pull request #360 from github/bump-codeql
Bump `codeql` submodule
2 parents 1920cd1 + b125618 commit 3acd718

File tree

3 files changed

+10
-8
lines changed

3 files changed

+10
-8
lines changed

codeql

Submodule codeql updated 147 files

ql/lib/codeql/ruby/dataflow/internal/DataFlowImplCommon.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -937,7 +937,7 @@ class CallContextSpecificCall extends CallContextCall, TSpecificCall {
937937
}
938938

939939
override predicate relevantFor(DataFlowCallable callable) {
940-
recordDataFlowCallSite(getCall(), callable)
940+
recordDataFlowCallSite(this.getCall(), callable)
941941
}
942942

943943
override predicate matchesCall(DataFlowCall call) { call = this.getCall() }
@@ -1257,7 +1257,7 @@ abstract class AccessPathFront extends TAccessPathFront {
12571257

12581258
TypedContent getHead() { this = TFrontHead(result) }
12591259

1260-
predicate isClearedAt(Node n) { clearsContentCached(n, getHead().getContent()) }
1260+
predicate isClearedAt(Node n) { clearsContentCached(n, this.getHead().getContent()) }
12611261
}
12621262

12631263
class AccessPathFrontNil extends AccessPathFront, TFrontNil {

ql/lib/codeql/ruby/dataflow/internal/tainttracking1/TaintTrackingImpl.qll

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -75,24 +75,26 @@ abstract class Configuration extends DataFlow::Configuration {
7575
predicate isSanitizer(DataFlow::Node node) { none() }
7676

7777
final override predicate isBarrier(DataFlow::Node node) {
78-
isSanitizer(node) or
78+
this.isSanitizer(node) or
7979
defaultTaintSanitizer(node)
8080
}
8181

8282
/** Holds if taint propagation into `node` is prohibited. */
8383
predicate isSanitizerIn(DataFlow::Node node) { none() }
8484

85-
final override predicate isBarrierIn(DataFlow::Node node) { isSanitizerIn(node) }
85+
final override predicate isBarrierIn(DataFlow::Node node) { this.isSanitizerIn(node) }
8686

8787
/** Holds if taint propagation out of `node` is prohibited. */
8888
predicate isSanitizerOut(DataFlow::Node node) { none() }
8989

90-
final override predicate isBarrierOut(DataFlow::Node node) { isSanitizerOut(node) }
90+
final override predicate isBarrierOut(DataFlow::Node node) { this.isSanitizerOut(node) }
9191

9292
/** Holds if taint propagation through nodes guarded by `guard` is prohibited. */
9393
predicate isSanitizerGuard(DataFlow::BarrierGuard guard) { none() }
9494

95-
final override predicate isBarrierGuard(DataFlow::BarrierGuard guard) { isSanitizerGuard(guard) }
95+
final override predicate isBarrierGuard(DataFlow::BarrierGuard guard) {
96+
this.isSanitizerGuard(guard)
97+
}
9698

9799
/**
98100
* Holds if the additional taint propagation step from `node1` to `node2`
@@ -101,7 +103,7 @@ abstract class Configuration extends DataFlow::Configuration {
101103
predicate isAdditionalTaintStep(DataFlow::Node node1, DataFlow::Node node2) { none() }
102104

103105
final override predicate isAdditionalFlowStep(DataFlow::Node node1, DataFlow::Node node2) {
104-
isAdditionalTaintStep(node1, node2) or
106+
this.isAdditionalTaintStep(node1, node2) or
105107
defaultAdditionalTaintStep(node1, node2)
106108
}
107109

0 commit comments

Comments
 (0)