Java: exclude FunctionalExprs from DataFlowTargetApi

Jami Cogswell · jcogs33 · commit 1c06378a53ec · 2022-12-13T09:54:05.000-05:00
diff --git a/java/ql/src/utils/modelgenerator/internal/CaptureModelsSpecific.qll b/java/ql/src/utils/modelgenerator/internal/CaptureModelsSpecific.qll
@@ -59,7 +59,8 @@ private predicate isRelevantForModels(J::Callable api) {
   not isInTestFile(api.getCompilationUnit().getFile()) and
   not isJdkInternal(api.getCompilationUnit()) and
   not api instanceof J::MainMethod and
-  not api instanceof J::StaticInitializer
+  not api instanceof J::StaticInitializer and
+  not exists(J::FunctionalExpr funcExpr | api = funcExpr.asMethod())
 }
 
 /**

Original file line number	Diff line number	Diff line change
`@@ -59,7 +59,8 @@ private predicate isRelevantForModels(J::Callable api) {`
`59`	`59`	`not isInTestFile(api.getCompilationUnit().getFile()) and`
`60`	`60`	`not isJdkInternal(api.getCompilationUnit()) and`
`61`	`61`	`not api instanceof J::MainMethod and`
`62`		`- not api instanceof J::StaticInitializer`
	`62`	`+ not api instanceof J::StaticInitializer and`
	`63`	`+ not exists(J::FunctionalExpr funcExpr \| api = funcExpr.asMethod())`
`63`	`64`	`}`
`64`	`65`
`65`	`66`	`/**`