soot

Class FastHierarchy

java.lang.Object

soot.FastHierarchy

public class FastHierarchy
extends java.lang.Object

Represents the class hierarchy. It is closely linked to a Scene, and must be recreated if the Scene changes. This version supercedes the old soot.Hierarchy class.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
protected class	FastHierarchy.Interval

Field Summary

Fields

Modifier and Type	Field and Description
protected java.util.Map<SootClass,FastHierarchy.Interval>	classToInterval For each class (NOT interface), this map contains a Interval, which is a pair of numbers giving a preorder and postorder ordering of classes in the inheritance tree.
protected MultiMap<SootClass,SootClass>	classToSubclasses This map holds all key,value pairs such that value.getSuperclass() == key.
protected MultiMap<SootClass,SootClass>	interfaceToAllImplementers This map gives, for an interface, all concrete classes that implement that interface and all its subinterfaces, but NOT their subclasses.
protected MultiMap<SootClass,SootClass>	interfaceToAllSubinterfaces This map is a transitive closure of interfaceToSubinterfaces, and each set contains its superinterface itself.
protected MultiMap<SootClass,SootClass>	interfaceToImplementers This map holds all key,value pairs such that value is a class (NOT an interface) and key is in value.getInterfaces().
protected MultiMap<SootClass,SootClass>	interfaceToSubinterfaces This map holds all key,value pairs such that value is an interface and key is in value.getInterfaces().
protected Scene	sc

Constructor Summary

Constructors

Constructor and Description
FastHierarchy() Constructs a hierarchy from the current scene.

Method Summary

Modifier and Type	Method and Description
protected boolean	canStoreClass(SootClass child, SootClass parent) Given an object of declared type child, returns true if the object can be stored in a variable of type parent.
boolean	canStoreType(Type child, Type parent) Given an object of declared type child, returns true if the object can be stored in a variable of type parent.
protected int	dfsVisit(int start, SootClass c)
java.util.Set<SootClass>	getAllImplementersOfInterface(SootClass parent) For an interface parent (MUST be an interface), returns set of all implementers of it but NOT their subclasses.
java.util.Set<SootClass>	getAllSubinterfaces(SootClass parent) For an interface parent (MUST be an interface), returns set of all subinterfaces.
java.util.Collection<SootClass>	getSubclassesOf(SootClass c) Gets the direct subclasses of a given class.
boolean	isSubclass(SootClass child, SootClass parent) Return true if class child is a subclass of class parent, neither of them being allowed to be interfaces.
java.util.Set<SootMethod>	resolveAbstractDispatch(SootClass abstractType, SootMethod m) Given an object of declared type C, returns the methods which could be called on an o.f() invocation.
java.util.Collection<SootMethod>	resolveConcreteDispatch(java.util.Collection<Type> concreteTypes, SootMethod m, RefType declaredTypeOfBase)
SootMethod	resolveConcreteDispatch(SootClass concreteType, SootMethod m) Given an object of actual type C (o = new C()), returns the method which will be called on an o.f() invocation.
java.util.Collection<SootMethod>	resolveConcreteDispatchWithoutFailing(java.util.Collection<Type> concreteTypes, SootMethod m, RefType declaredTypeOfBase)
SootMethod	resolveSpecialDispatch(SpecialInvokeExpr ie, SootMethod container) Returns the target for the given SpecialInvokeExpr.

Methods inherited from class java.lang.Object

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

Field Detail

classToSubclasses

protected MultiMap<SootClass,SootClass> classToSubclasses

This map holds all key,value pairs such that value.getSuperclass() == key. This is one of the three maps that hold the inverse of the relationships given by the getSuperclass and getInterfaces methods of SootClass.

interfaceToSubinterfaces

protected MultiMap<SootClass,SootClass> interfaceToSubinterfaces

This map holds all key,value pairs such that value is an interface and key is in value.getInterfaces(). This is one of the three maps that hold the inverse of the relationships given by the getSuperclass and getInterfaces methods of SootClass.

interfaceToImplementers

protected MultiMap<SootClass,SootClass> interfaceToImplementers

This map holds all key,value pairs such that value is a class (NOT an interface) and key is in value.getInterfaces(). This is one of the three maps that hold the inverse of the relationships given by the getSuperclass and getInterfaces methods of SootClass.

interfaceToAllSubinterfaces

protected MultiMap<SootClass,SootClass> interfaceToAllSubinterfaces

This map is a transitive closure of interfaceToSubinterfaces, and each set contains its superinterface itself.

interfaceToAllImplementers

protected MultiMap<SootClass,SootClass> interfaceToAllImplementers

This map gives, for an interface, all concrete classes that implement that interface and all its subinterfaces, but NOT their subclasses.

classToInterval

protected java.util.Map<SootClass,FastHierarchy.Interval> classToInterval

For each class (NOT interface), this map contains a Interval, which is a pair of numbers giving a preorder and postorder ordering of classes in the inheritance tree.

sc

protected Scene sc

Constructor Detail

FastHierarchy

public FastHierarchy()

Constructs a hierarchy from the current scene.

Method Detail

dfsVisit

protected int dfsVisit(int start,
                       SootClass c)

isSubclass

public boolean isSubclass(SootClass child,
                          SootClass parent)

Return true if class child is a subclass of class parent, neither of them being allowed to be interfaces. If we don't know any of the classes, we always return false

getAllImplementersOfInterface

public java.util.Set<SootClass> getAllImplementersOfInterface(SootClass parent)

For an interface parent (MUST be an interface), returns set of all implementers of it but NOT their subclasses.

getAllSubinterfaces

public java.util.Set<SootClass> getAllSubinterfaces(SootClass parent)

For an interface parent (MUST be an interface), returns set of all subinterfaces.

Parameters:

parent - the parent interface.

Returns:

an set, possibly empty

canStoreType

public boolean canStoreType(Type child,
                            Type parent)

Given an object of declared type child, returns true if the object can be stored in a variable of type parent. If child is an interface that is not a subinterface of parent, this method will return false even though some objects implementing the child interface may also implement the parent interface.

canStoreClass

protected boolean canStoreClass(SootClass child,
                                SootClass parent)

Given an object of declared type child, returns true if the object can be stored in a variable of type parent. If child is an interface that is not a subinterface of parent, this method will return false even though some objects implementing the child interface may also implement the parent interface.

resolveConcreteDispatchWithoutFailing

public java.util.Collection<SootMethod> resolveConcreteDispatchWithoutFailing(java.util.Collection<Type> concreteTypes,
                                                                              SootMethod m,
                                                                              RefType declaredTypeOfBase)

resolveConcreteDispatch

public java.util.Collection<SootMethod> resolveConcreteDispatch(java.util.Collection<Type> concreteTypes,
                                                                SootMethod m,
                                                                RefType declaredTypeOfBase)

resolveAbstractDispatch

public java.util.Set<SootMethod> resolveAbstractDispatch(SootClass abstractType,
                                                         SootMethod m)

Given an object of declared type C, returns the methods which could be called on an o.f() invocation.

resolveConcreteDispatch

public SootMethod resolveConcreteDispatch(SootClass concreteType,
                                          SootMethod m)

Given an object of actual type C (o = new C()), returns the method which will be called on an o.f() invocation.

resolveSpecialDispatch

public SootMethod resolveSpecialDispatch(SpecialInvokeExpr ie,
                                         SootMethod container)

Returns the target for the given SpecialInvokeExpr.

getSubclassesOf

public java.util.Collection<SootClass> getSubclassesOf(SootClass c)

Gets the direct subclasses of a given class. The class needs to be resolved at least at the HIERARCHY level.

Parameters:

c - the class

Returns:

a collection (possibly empty) of the direct subclasses