Java: use containing call as call context, not argument

Stephan Brandauer · Stephan Brandauer · commit f224a40dec00 · 2023-05-25T14:16:23.000+02:00
diff --git a/java/ql/src/Telemetry/AutomodelApplicationModeCharacteristics.qll b/java/ql/src/Telemetry/AutomodelApplicationModeCharacteristics.qll
@@ -95,7 +95,7 @@ module ApplicationCandidatesImpl implements SharedCharacteristics::CandidateSig
    */
   RelatedLocation getRelatedLocation(Endpoint e, RelatedLocationType type) {
     type = CallContext() and
-    result = asLocation(e)
+    result = any(Call c | e.asExpr() = [c.getAnArgument(), c.getQualifier()])
   }
 
   /**

Original file line number	Diff line number	Diff line change
`@@ -95,7 +95,7 @@ module ApplicationCandidatesImpl implements SharedCharacteristics::CandidateSig`
`95`	`95`	`*/`
`96`	`96`	`RelatedLocation getRelatedLocation(Endpoint e, RelatedLocationType type) {`
`97`	`97`	`type = CallContext() and`
`98`		`- result = asLocation(e)`
	`98`	`+ result = any(Call c \| e.asExpr() = [c.getAnArgument(), c.getQualifier()])`
`99`	`99`	`}`
`100`	`100`
`101`	`101`	`/**`