mirror of
https://github.com/github/codeql.git
synced 2026-03-30 12:18:18 +02:00
19 lines
546 B
Plaintext
19 lines
546 B
Plaintext
/* Remote Method Invocation. */
|
|
import java
|
|
|
|
/** The interface `java.rmi.Remote`. */
|
|
class TypeRemote extends RefType {
|
|
TypeRemote() { hasQualifiedName("java.rmi", "Remote") }
|
|
}
|
|
|
|
/** A method that is intended to be called via RMI. */
|
|
class RemoteCallableMethod extends Method {
|
|
RemoteCallableMethod() { remoteCallableMethod(this) }
|
|
}
|
|
|
|
private predicate remoteCallableMethod(Method method) {
|
|
method.getDeclaringType().getASupertype() instanceof TypeRemote
|
|
or
|
|
exists(Method meth | remoteCallableMethod(meth) and method.overrides(meth))
|
|
}
|