Skip to content

Commit d0840af

Browse files
committed
JS: Fix compilation errors in EndpointFeatures library
Use the LabelParameter API instead of manually constructing the edge label.
1 parent f2800ab commit d0840af

File tree

1 file changed

+5
-4
lines changed
  • javascript/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling

1 file changed

+5
-4
lines changed

javascript/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling/EndpointFeatures.qll

Lines changed: 5 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -247,11 +247,12 @@ private module AccessPaths {
247247
else accessPath = previousAccessPath + " " + paramName
248248
)
249249
or
250-
exists(string callbackName, string index |
250+
exists(string callbackName, int index |
251251
node =
252-
getNamedParameter(previousNode.getASuccessor("param " + index).getMember(callbackName),
253-
paramName) and
254-
index != "-1" and // ignore receiver
252+
getNamedParameter(previousNode
253+
.getASuccessor(API::Label::parameter(index))
254+
.getMember(callbackName), paramName) and
255+
index != -1 and // ignore receiver
255256
if includeStructuralInfo = true
256257
then
257258
accessPath =

0 commit comments

Comments
 (0)