JS: Update type usage in ClassValidator.qll

asgerf · asgerf · commit 633a94b68bda · 2025-06-11T10:45:44.000+02:00
diff --git a/javascript/ql/lib/semmle/javascript/frameworks/ClassValidator.qll b/javascript/ql/lib/semmle/javascript/frameworks/ClassValidator.qll
@@ -50,7 +50,7 @@ module ClassValidator {
 
   pragma[noinline]
   private ClassDefinition getClassReferencedByPropRead(DataFlow::PropRead read) {
-    read.getBase().asExpr().getType().unfold().(ClassType).getClass() = result
+    read.getBase().asExpr().getTypeBinding().getAnUnderlyingClass().getAstNode() = result
   }
 
   /**

Original file line number	Diff line number	Diff line change
`@@ -50,7 +50,7 @@ module ClassValidator {`
`50`	`50`
`51`	`51`	`pragma[noinline]`
`52`	`52`	`private ClassDefinition getClassReferencedByPropRead(DataFlow::PropRead read) {`
`53`		`- read.getBase().asExpr().getType().unfold().(ClassType).getClass() = result`
	`53`	`+ read.getBase().asExpr().getTypeBinding().getAnUnderlyingClass().getAstNode() = result`
`54`	`54`	`}`
`55`	`55`
`56`	`56`	`/**`