Update java/ql/src/Telemetry/AutomodelFrameworkModeCharacteristics.qll

Co-authored-by: Aditya Sharad <6874315+adityasharad@users.noreply.github.com>
This commit is contained in:
Stephan Brandauer
2023-05-04 16:50:37 +02:00
committed by GitHub
parent 32f2614fe0
commit 36aabc077e

View File

@@ -190,8 +190,7 @@ private class UnexploitableExistsCharacteristic extends CharacteristicsImpl::Not
exists(Callable callable |
callable = getCallable(e) and
(
callable.getName().toLowerCase() = "exists" or
callable.getName().toLowerCase() = "notexists"
callable.getName().toLowerCase() = ["exists", "notexists"]
) and
callable.getReturnType() instanceof BooleanType
)