JS: Update ATM code

asgerf · asgerf · commit 87cbf7b2162d · 2022-05-24T11:57:30.000+02:00
diff --git a/javascript/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling/EndpointFeatures.qll b/javascript/ql/experimental/adaptivethreatmodeling/lib/experimental/adaptivethreatmodeling/EndpointFeatures.qll
@@ -144,9 +144,9 @@ private module AccessPaths {
       not param = base.getReceiver()
     |
       result = param and
-      name = param.getASource().asExpr().(Parameter).getName()
+      name = param.asSource().asExpr().(Parameter).getName()
       or
-      param.getASource().asExpr() instanceof DestructuringPattern and
+      param.asSource().asExpr() instanceof DestructuringPattern and
       result = param.getMember(name)
     )
   }

Original file line number	Diff line number	Diff line change
`@@ -144,9 +144,9 @@ private module AccessPaths {`
`144`	`144`	`not param = base.getReceiver()`
`145`	`145`	`\|`
`146`	`146`	`result = param and`
`147`		`- name = param.getASource().asExpr().(Parameter).getName()`
	`147`	`+ name = param.asSource().asExpr().(Parameter).getName()`
`148`	`148`	`or`
`149`		`- param.getASource().asExpr() instanceof DestructuringPattern and`
	`149`	`+ param.asSource().asExpr() instanceof DestructuringPattern and`
`150`	`150`	`result = param.getMember(name)`
`151`	`151`	`)`
`152`	`152`	`}`