add getter for static initializer blocks

erik-krogh · erik-krogh · commit ffd51e725fb3 · 2021-09-14T20:40:45.000+02:00
diff --git a/javascript/ql/lib/semmle/javascript/Classes.qll b/javascript/ql/lib/semmle/javascript/Classes.qll
@@ -258,6 +258,11 @@ class ClassDefinition extends @class_definition, ClassOrInterface, AST::ValueNod
   }
 
   override string getAPrimaryQlClass() { result = "ClassDefinition" }
+
+  /**
+   * Gets a static initializer of this class, if any.
+   */
+  BlockStmt getAStaticInitializerBlock() { result.getParent() = this }
 }
 
 /**
diff --git a/javascript/ql/test/library-tests/TypeScript/Types/tests.expected b/javascript/ql/test/library-tests/TypeScript/Types/tests.expected
@@ -670,3 +670,6 @@ unionIndex
 | { stillMyUnion: true; } | 1 | MyUnion \| { yetAnotherType: true; } |
 | { stillMyUnion: true; } | 1 | { myUnion: true; } \| { stillMyUnion: true; } |
 | { yetAnotherType: true; } | 2 | MyUnion \| { yetAnotherType: true; } |
+getAStaticInitializerBlock
+| tst.ts:179:3:192:3 | class F ...    \\n  } | tst.ts:185:5:187:5 | static  ... ;\\n    } |
+| tst.ts:179:3:192:3 | class F ...    \\n  } | tst.ts:188:5:190:5 | static  ... ;\\n    } |
diff --git a/javascript/ql/test/library-tests/TypeScript/Types/tests.ql b/javascript/ql/test/library-tests/TypeScript/Types/tests.ql
@@ -39,3 +39,7 @@ query predicate unknownType(Expr e, Type type) {
 query CallSignatureType abstractSignature() { result.isAbstract() }
 
 query UnionType unionIndex(Type element, int i) { result.getElementType(i) = element }
+
+query BlockStmt getAStaticInitializerBlock(ClassDefinition cls) {
+  result = cls.getAStaticInitializerBlock()
+}

Original file line number	Diff line number	Diff line change
`@@ -258,6 +258,11 @@ class ClassDefinition extends @class_definition, ClassOrInterface, AST::ValueNod`
`258`	`258`	`}`
`259`	`259`
`260`	`260`	`override string getAPrimaryQlClass() { result = "ClassDefinition" }`
	`261`	`+`
	`262`	`+ /**`
	`263`	`+ * Gets a static initializer of this class, if any.`
	`264`	`+ */`
	`265`	`+ BlockStmt getAStaticInitializerBlock() { result.getParent() = this }`
`261`	`266`	`}`
`262`	`267`
`263`	`268`	`/**`