Skip to content

Commit eae1e1c

Browse files
committed
JS: Make API graphs rely on type-tracking steps in general
1 parent e40b93b commit eae1e1c

File tree

1 file changed

+4
-4
lines changed

1 file changed

+4
-4
lines changed

javascript/ql/lib/semmle/javascript/ApiGraphs.qll

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -850,10 +850,10 @@ module API {
850850
)
851851
or
852852
lbl = Label::promised() and
853-
PromiseFlow::storeStep(rhs, pred, Promises::valueProp())
853+
SharedTypeTrackingStep::storeStep(rhs, pred, Promises::valueProp())
854854
or
855855
lbl = Label::promisedError() and
856-
PromiseFlow::storeStep(rhs, pred, Promises::errorProp())
856+
SharedTypeTrackingStep::storeStep(rhs, pred, Promises::errorProp())
857857
or
858858
// The return-value of a getter G counts as a definition of property G
859859
// (Ordinary methods and properties are handled as PropWrite nodes)
@@ -1008,11 +1008,11 @@ module API {
10081008
propDesc = ""
10091009
)
10101010
or
1011-
PromiseFlow::loadStep(pred.getALocalUse(), ref, Promises::valueProp()) and
1011+
SharedTypeTrackingStep::loadStep(pred.getALocalUse(), ref, Promises::valueProp()) and
10121012
lbl = Label::promised() and
10131013
(propDesc = Promises::valueProp() or propDesc = "")
10141014
or
1015-
PromiseFlow::loadStep(pred.getALocalUse(), ref, Promises::errorProp()) and
1015+
SharedTypeTrackingStep::loadStep(pred.getALocalUse(), ref, Promises::errorProp()) and
10161016
lbl = Label::promisedError() and
10171017
(propDesc = Promises::errorProp() or propDesc = "")
10181018
}

0 commit comments

Comments
 (0)