Class FixedMethods


  • public class FixedMethods
    extends Object
    Determines whether, according to the type hierarchy, a method call is fixed, i.e., cannot be overwritten by client code.
    • Field Detail

      • ASSUME_PACKAGES_SEALED

        public static final boolean ASSUME_PACKAGES_SEALED
        See Also:
        Constant Field Values
    • Constructor Detail

      • FixedMethods

        public FixedMethods()
    • Method Detail

      • isFixed

        public static boolean isFixed​(InvokeExpr ie)
        Returns true if a method call is fixed, i.e., assuming that all classes in the Scene resemble library code, then client code cannot possible overwrite the called method. This is trivially true for InvokeStatic and InvokeSpecial, but can also hold for virtual invokes if all possible call targets in the library cannot be overwritten.
        See Also:
        clientOverwriteableOverwrites(SootMethod)