Also apply type step in getNodeFromSubPath

asgerf · asgerf · commit f8b1aa7e7e83 · 2022-08-30T14:08:33.000+02:00
diff --git a/javascript/ql/lib/semmle/javascript/frameworks/data/internal/ApiGraphModels.qll b/javascript/ql/lib/semmle/javascript/frameworks/data/internal/ApiGraphModels.qll
@@ -436,6 +436,8 @@ private API::Node getNodeFromSubPath(API::Node base, AccessPath subPath, int n)
   or
   result =
     getNodeFromSubPath(getNodeFromSubPath(base, subPath, n - 1), getSubPathAt(subPath, n - 1))
+  or
+  typeStep(getNodeFromSubPath(base, subPath, n), result)
 }
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -436,6 +436,8 @@ private API::Node getNodeFromSubPath(API::Node base, AccessPath subPath, int n)`
`436`	`436`	`or`
`437`	`437`	`result =`
`438`	`438`	`getNodeFromSubPath(getNodeFromSubPath(base, subPath, n - 1), getSubPathAt(subPath, n - 1))`
	`439`	`+ or`
	`440`	`+ typeStep(getNodeFromSubPath(base, subPath, n), result)`
`439`	`441`	`}`
`440`	`442`
`441`	`443`	`/**`