Change the java query to work for multiple java versions.

This commit is contained in:
Anders Starcke Henriksen
2023-08-29 13:56:48 +02:00
parent 14b9f932ab
commit 3a0843219e

View File

@@ -147,7 +147,12 @@ class CallableMethod extends Callable {
/** Holds if this API is a known neutral. */
pragma[nomagic]
predicate isNeutral() { this instanceof FlowSummaryImpl::Public::NeutralCallable }
predicate isNeutral() {
exists(string namespace, string type, string name, string signature, string kind, string provenance |
neutralModel(namespace, type, name, signature, kind, provenance) and
this = interpretElement(namespace, type, false, name, signature, "")
)
}
/**
* Holds if this API is supported by existing CodeQL libraries, that is, it is either a