Skip to content

Commit 6648e27

Browse files
committed
remove use of .getAlocalSource() i custom load/store test
1 parent 5c6134d commit 6648e27

1 file changed

Lines changed: 5 additions & 1 deletion

File tree

  • javascript/ql/test/library-tests/CustomLoadStoreSteps

javascript/ql/test/library-tests/CustomLoadStoreSteps/test.ql

Lines changed: 5 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,11 @@ class Configuration extends TaintTracking::Configuration {
1313

1414
// When the source code states that "foo" is being read, "bar" is additionally being read.
1515
override predicate isAdditionalLoadStep(DataFlow::Node pred, DataFlow::Node succ, string prop) {
16-
pred.(DataFlow::SourceNode).getAPropertyRead("foo") = succ and prop = "bar"
16+
exists(DataFlow::PropRead read | read = succ |
17+
read.getBase() = pred and
18+
read.getPropertyName() = "foo"
19+
) and
20+
prop = "bar"
1721
}
1822
}
1923

0 commit comments

Comments
 (0)