Java: Automodel extraction fix for application mode

kaeluka · kaeluka · commit 08f5774d1391 · 2023-07-25T17:11:07.000+02:00
diff --git a/java/ql/src/Telemetry/AutomodelApplicationModeCharacteristics.qll b/java/ql/src/Telemetry/AutomodelApplicationModeCharacteristics.qll
@@ -88,7 +88,7 @@ module ApplicationCandidatesImpl implements SharedCharacteristics::CandidateSig
   predicate isNeutral(Endpoint e) {
     exists(string package, string type, string name, string signature |
       sinkSpec(e, package, type, name, signature, _, _) and
-      ExternalFlow::neutralModel(package, type, name, [signature, ""], _, _)
+      ExternalFlow::neutralModel(package, type, name, [signature, ""], "sink", _)
     )
   }
 

Original file line number	Diff line number	Diff line change
`@@ -88,7 +88,7 @@ module ApplicationCandidatesImpl implements SharedCharacteristics::CandidateSig`
`88`	`88`	`predicate isNeutral(Endpoint e) {`
`89`	`89`	`exists(string package, string type, string name, string signature \|`
`90`	`90`	`sinkSpec(e, package, type, name, signature, _, _) and`
`91`		`- ExternalFlow::neutralModel(package, type, name, [signature, ""], _, _)`
	`91`	`+ ExternalFlow::neutralModel(package, type, name, [signature, ""], "sink", _)`
`92`	`92`	`)`
`93`	`93`	`}`
`94`	`94`