Java: Exclude static initializers from model generation.

michaelnebel · michaelnebel · commit 2b1423dd74a7 · 2022-08-29T14:29:32.000+02:00
diff --git a/java/ql/src/utils/model-generator/internal/CaptureModelsSpecific.qll b/java/ql/src/utils/model-generator/internal/CaptureModelsSpecific.qll
@@ -55,7 +55,8 @@ private predicate isJdkInternal(J::CompilationUnit cu) {
 private predicate isRelevantForModels(J::Callable api) {
   not isInTestFile(api.getCompilationUnit().getFile()) and
   not isJdkInternal(api.getCompilationUnit()) and
-  not api instanceof J::MainMethod
+  not api instanceof J::MainMethod and
+  not api instanceof J::StaticInitializer
 }
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -55,7 +55,8 @@ private predicate isJdkInternal(J::CompilationUnit cu) {`
`55`	`55`	`private predicate isRelevantForModels(J::Callable api) {`
`56`	`56`	`not isInTestFile(api.getCompilationUnit().getFile()) and`
`57`	`57`	`not isJdkInternal(api.getCompilationUnit()) and`
`58`		`- not api instanceof J::MainMethod`
	`58`	`+ not api instanceof J::MainMethod and`
	`59`	`+ not api instanceof J::StaticInitializer`
`59`	`60`	`}`
`60`	`61`
`61`	`62`	`/**`