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 boolean
ASSUME_PACKAGES_SEALED
-
Constructor Summary
Constructors Constructor Description FixedMethods()
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description 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.
-
-
-
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)
-
-