JS: Add AnyMember MaD token

asgerf · asgerf · commit 4f3c8ec7706e · 2022-08-29T10:14:53.000+02:00
diff --git a/javascript/ql/lib/semmle/javascript/frameworks/data/internal/ApiGraphModelsSpecific.qll b/javascript/ql/lib/semmle/javascript/frameworks/data/internal/ApiGraphModelsSpecific.qll
@@ -104,6 +104,9 @@ API::Node getExtraSuccessorFromNode(API::Node node, AccessPathToken token) {
   token.getName() = "Member" and
   result = node.getMember(token.getAnArgument())
   or
+  token.getName() = "AnyMember" and
+  result = node.getAMember()
+  or
   token.getName() = "Instance" and
   result = node.getInstance()
   or
@@ -225,8 +228,8 @@ bindingset[name]
 predicate isExtraValidTokenNameInIdentifyingAccessPath(string name) {
   name =
     [
-      "Member", "Instance", "Awaited", "ArrayElement", "Element", "MapValue", "NewCall", "Call",
-      "DecoratedClass", "DecoratedMember", "DecoratedParameter"
+      "Member", "AnyMember", "Instance", "Awaited", "ArrayElement", "Element", "MapValue",
+      "NewCall", "Call", "DecoratedClass", "DecoratedMember", "DecoratedParameter"
     ]
 }
 
@@ -237,7 +240,7 @@ predicate isExtraValidTokenNameInIdentifyingAccessPath(string name) {
 predicate isExtraValidNoArgumentTokenInIdentifyingAccessPath(string name) {
   name =
     [
-      "Instance", "Awaited", "ArrayElement", "Element", "MapValue", "NewCall", "Call",
+      "AnyMember", "Instance", "Awaited", "ArrayElement", "Element", "MapValue", "NewCall", "Call",
       "DecoratedClass", "DecoratedMember", "DecoratedParameter"
     ]
 }

Original file line number	Diff line number	Diff line change
`@@ -104,6 +104,9 @@ API::Node getExtraSuccessorFromNode(API::Node node, AccessPathToken token) {`
`104`	`104`	`token.getName() = "Member" and`
`105`	`105`	`result = node.getMember(token.getAnArgument())`
`106`	`106`	`or`
	`107`	`+ token.getName() = "AnyMember" and`
	`108`	`+ result = node.getAMember()`
	`109`	`+ or`
`107`	`110`	`token.getName() = "Instance" and`
`108`	`111`	`result = node.getInstance()`
`109`	`112`	`or`
`@@ -225,8 +228,8 @@ bindingset[name]`
`225`	`228`	`predicate isExtraValidTokenNameInIdentifyingAccessPath(string name) {`
`226`	`229`	`name =`
`227`	`230`	`[`
`228`		`- "Member", "Instance", "Awaited", "ArrayElement", "Element", "MapValue", "NewCall", "Call",`
`229`		`- "DecoratedClass", "DecoratedMember", "DecoratedParameter"`
	`231`	`+ "Member", "AnyMember", "Instance", "Awaited", "ArrayElement", "Element", "MapValue",`
	`232`	`+ "NewCall", "Call", "DecoratedClass", "DecoratedMember", "DecoratedParameter"`
`230`	`233`	`]`
`231`	`234`	`}`
`232`	`235`
`@@ -237,7 +240,7 @@ predicate isExtraValidTokenNameInIdentifyingAccessPath(string name) {`
`237`	`240`	`predicate isExtraValidNoArgumentTokenInIdentifyingAccessPath(string name) {`
`238`	`241`	`name =`
`239`	`242`	`[`
`240`		`- "Instance", "Awaited", "ArrayElement", "Element", "MapValue", "NewCall", "Call",`
	`243`	`+ "AnyMember", "Instance", "Awaited", "ArrayElement", "Element", "MapValue", "NewCall", "Call",`
`241`	`244`	`"DecoratedClass", "DecoratedMember", "DecoratedParameter"`
`242`	`245`	`]`
`243`	`246`	`}`