soot.jimple.toolkits.ide.libsumm

Class FixedMethods

java.lang.Object

soot.jimple.toolkits.ide.libsumm.FixedMethods

public class FixedMethods
extends java.lang.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 and Description
static boolean	ASSUME_PACKAGES_SEALED

Constructor Summary

Constructors

Constructor and Description
FixedMethods()

Method Summary

Modifier and Type	Method and 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.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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)