Package soot.jimple.toolkits.ide.libsumm
Class FixedMethods
- java.lang.Object
-
- soot.jimple.toolkits.ide.libsumm.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 Summary
Fields Modifier and Type Field Description static booleanASSUME_PACKAGES_SEALED
-
Constructor Summary
Constructors Constructor Description FixedMethods()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static booleanisFixed(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.
-
-
-
Field Detail
-
ASSUME_PACKAGES_SEALED
public static final boolean ASSUME_PACKAGES_SEALED
- See Also:
- Constant Field Values
-
-
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)
-
-