Java: Make language specific modifications.

michaelnebel · michaelnebel · commit a86cd181a619 · 2024-11-06T16:29:16.000+01:00
diff --git a/java/ql/src/utils/modelgenerator/internal/CaptureModels.qll b/java/ql/src/utils/modelgenerator/internal/CaptureModels.qll
@@ -88,6 +88,8 @@ module ModelGeneratorInput implements ModelGeneratorInputSig<Location, JavaDataF
     api.getDeclaringType() instanceof J::Interface and not exists(api.getBody())
   }
 
+  predicate isUninterestingForHeuristicDataFlowModels(Callable api) { none() }
+
   class SourceOrSinkTargetApi extends Callable {
     SourceOrSinkTargetApi() { relevant(this) }
   }

Original file line number	Diff line number	Diff line change
`@@ -88,6 +88,8 @@ module ModelGeneratorInput implements ModelGeneratorInputSig<Location, JavaDataF`
`88`	`88`	`api.getDeclaringType() instanceof J::Interface and not exists(api.getBody())`
`89`	`89`	`}`
`90`	`90`
	`91`	`+ predicate isUninterestingForHeuristicDataFlowModels(Callable api) { none() }`
	`92`	`+`
`91`	`93`	`class SourceOrSinkTargetApi extends Callable {`
`92`	`94`	`SourceOrSinkTargetApi() { relevant(this) }`
`93`	`95`	`}`