Java: enable exception characteristic also for source candidates

Stephan Brandauer · Stephan Brandauer · commit afc5aedd0aa9 · 2023-09-07T15:49:57.000+02:00
diff --git a/java/ql/automodel/src/AutomodelApplicationModeCharacteristics.qll b/java/ql/automodel/src/AutomodelApplicationModeCharacteristics.qll
@@ -329,7 +329,6 @@ private class ExceptionCharacteristic extends CharacteristicsImpl::NotASinkChara
   ExceptionCharacteristic() { this = "exception" }
 
   override predicate appliesToEndpoint(Endpoint e) {
-    e.getExtensibleType() = "sinkModel" and
     ApplicationModeGetCallable::getCallable(e).getDeclaringType().getASupertype*() instanceof
       TypeThrowable
   }

Original file line number	Diff line number	Diff line change
`@@ -329,7 +329,6 @@ private class ExceptionCharacteristic extends CharacteristicsImpl::NotASinkChara`
`329`	`329`	`ExceptionCharacteristic() { this = "exception" }`
`330`	`330`
`331`	`331`	`override predicate appliesToEndpoint(Endpoint e) {`
`332`		`- e.getExtensibleType() = "sinkModel" and`
`333`	`332`	`ApplicationModeGetCallable::getCallable(e).getDeclaringType().getASupertype*() instanceof`
`334`	`333`	`TypeThrowable`
`335`	`334`	`}`