Skip to content

Commit 1c175cb

Browse files
author
Max Schaefer
committed
JavaScript: Rename loadStep to basicLoadStep.
1 parent 76f8da8 commit 1c175cb

File tree

4 files changed

+6
-6
lines changed

4 files changed

+6
-6
lines changed

javascript/ql/src/semmle/javascript/dataflow/Configuration.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -521,7 +521,7 @@ private predicate exploratoryFlowStep(
521521
) {
522522
basicFlowStep(pred, succ, _, cfg) or
523523
basicStoreStep(pred, succ, _) or
524-
loadStep(pred, succ, _) or
524+
basicLoadStep(pred, succ, _) or
525525
// the following two disjuncts taken together over-approximate flow through
526526
// higher-order calls
527527
callback(pred, succ) or
@@ -727,7 +727,7 @@ private predicate flowThroughProperty(
727727
DataFlow::Node pred, DataFlow::Node succ, DataFlow::Configuration cfg, PathSummary summary
728728
) {
729729
exists(string prop, DataFlow::Node base | reachableFromStoreBase(prop, pred, base, cfg, summary) |
730-
loadStep(base, succ, prop)
730+
basicLoadStep(base, succ, prop)
731731
)
732732
}
733733

javascript/ql/src/semmle/javascript/dataflow/TrackedNodes.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -102,7 +102,7 @@ private module NodeTracking {
102102
or
103103
basicStoreStep(mid, nd, _)
104104
or
105-
loadStep(mid, nd, _)
105+
basicLoadStep(mid, nd, _)
106106
or
107107
callback(mid, nd)
108108
or
@@ -218,7 +218,7 @@ private module NodeTracking {
218218
) {
219219
exists(string prop, DataFlow::Node base |
220220
reachableFromStoreBase(prop, pred, base, summary) and
221-
loadStep(base, succ, prop)
221+
basicLoadStep(base, succ, prop)
222222
)
223223
}
224224

javascript/ql/src/semmle/javascript/dataflow/TypeTracking.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -83,7 +83,7 @@ module StepSummary {
8383
basicStoreStep(pred, succ, prop) and
8484
summary = StoreStep(prop)
8585
or
86-
loadStep(pred, succ, prop) and
86+
basicLoadStep(pred, succ, prop) and
8787
summary = LoadStep(prop)
8888
)
8989
}

javascript/ql/src/semmle/javascript/dataflow/internal/FlowSteps.qll

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -296,7 +296,7 @@ private module CachedSteps {
296296
* that is, `succ` is a read of property `prop` from `pred`.
297297
*/
298298
cached
299-
predicate loadStep(DataFlow::Node pred, DataFlow::PropRead succ, string prop) {
299+
predicate basicLoadStep(DataFlow::Node pred, DataFlow::PropRead succ, string prop) {
300300
succ.accesses(pred, prop)
301301
}
302302

0 commit comments

Comments
 (0)