Package proguard.analysis

Class CallUtil

java.lang.Object
proguard.analysis.CallUtil
public class CallUtil extends Object
Utility methods for call resolution.

  • Method Details

    • resolveVirtual

      public static Set<String> resolveVirtual(Clazz callingClass, Clazz thisPointerType, AnyMethodrefConstant ref)
      The invokevirtual and invokeinterface resolution algorithm, annotated with JVM spec §6.5.invokevirtual citations where appropriate, so that the specified lookup process can easily be compared to this implementation.
      Parameters:
      callingClass - JVM spec: "current class".
      thisPointerType - The type of the this pointer of the call (JVM spec: "objectref").
      ref - The AnyMethodrefConstant specifying name and descriptor of the method to be invoked.
      Returns:
      The fully qualified names of potential call target clases (usually just one, but see resolveFromSuperinterfaces(Clazz, String, String) for details on when there might be multiple).

    • resolveVirtual

      public static Set<String> resolveVirtual(Clazz thisPointerType, String methodName, String descriptor)
      The invokevirtual and invokeinterface resolution algorithm, annotated with JVM spec §6.5.invokevirtual citations where appropriate, so that the specified lookup process can easily be compared to this implementation.
      Parameters:
      thisPointerType - The type of the this pointer of the call (JVM spec: "objectref").
      methodName - The name of the invoked method.
      descriptor - The descriptor of the invoked method.
      Returns:
      The fully qualified names of potential call target clases (usually just one, but see resolveFromSuperinterfaces(Clazz, String, String) for details on when there might be multiple).

    • resolveVirtualSignatures

      public static Set<MethodSignature> resolveVirtualSignatures(Clazz thisPointerType, String methodName, String descriptor)
      Adapter of resolveVirtual(Clazz, String, String) returning MethodSignature.
      Parameters:
      thisPointerType - The type of the this pointer of the call (JVM spec: "objectref").
      methodName - The name of the invoked method.
      descriptor - The descriptor of the invoked method.
      Returns:
      The MethodSignatures of potential call target (usually just one, but see resolveFromSuperinterfaces(Clazz, String, String) for details on when there might be multiple).

    • resolveFromSuperclasses

      public static Optional<String> resolveFromSuperclasses(Clazz start, String name, String descriptor)
      Search for the invocation target in a specific class and recursively in all superclasses.
      Parameters:
      start - The Clazz where the lookup is to be started.
      name - The name of the method.
      descriptor - The method descriptor.
      Returns:
      An Optional with the fully qualified name of the class containing the target method, empty if it couldn't be found.

    • resolveFromSuperinterfaces

      public static Set<String> resolveFromSuperinterfaces(Clazz start, String name, String descriptor)
      Search for a maximally specific default implementation in all superinterfaces of a class. This step is potentially unintuitive and difficult to grasp, see JVM spec §5.4.3.3 for more information, as well as this great blog post concerning the resolution pitfalls. The following is based on the information on those websites.
      Parameters:
      start - The Clazz whose superinterfaces are to be searched.
      name - The target method name.
      descriptor - The target method descriptor.
      Returns:
      The fully qualified name of the class(es) that contain the method to be invoked. Be aware that purely from a JVM point of view, this choice can be ambiguous, in which case it just chooses the candidate randomly. Here, we don't want to gamble, but rather want to add call graph edges for every possibility, if this ever happens. Javac ensures that such a case never occurs, but who knows how the bytecode has been generated, so this possibility is implemented just in case.

    • getSuperinterfaces

      public static void getSuperinterfaces(Clazz start, Set<Clazz> accumulator)
      Get the transitive superinterfaces of a class/interface recursively.
      Parameters:
      start - The Clazz where the collection process is to be started.
      accumulator - The current set of superinterfaces, so that only one set is constructed at runtime.