soot

Class SootResolver

java.lang.Object

soot.SootResolver

Direct Known Subclasses:

SootModuleResolver

public class SootResolver
extends Object

Loads symbols for SootClasses from either class files or jimple files.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	SootResolver.SootClassNotFoundException

Field Summary

Fields

Modifier and Type	Field and Description
protected MultiMap<SootClass,Type>	classToTypesHierarchy Maps each resolved class to a list of all references in it.
protected MultiMap<SootClass,Type>	classToTypesSignature Maps each resolved class to a list of all references in it.

Constructor Summary

Constructors

Constructor and Description
SootResolver(Singletons.Global g)

Method Summary

Modifier and Type	Method and Description
protected void	addToResolveWorklist(SootClass sc, int desiredLevel)
protected void	addToResolveWorklist(Type type, int level)
protected void	bringToBodies(SootClass sc) Bodies - we can now start loading the bodies of methods for all referred to methods and fields in the bodies, requires signatures for the method receiver and field container, and hierarchy for all other classes referenced in method references.
protected void	bringToBodiesUnchecked(SootClass sc)
protected void	bringToHierarchy(SootClass sc) Hierarchy - we know the hierarchy of the class and that's it requires at least Hierarchy for all supertypes and enclosing types.
protected void	bringToHierarchyUnchecked(SootClass sc)
protected void	bringToSignatures(SootClass sc) Signatures - we know the signatures of all methods and fields requires at least Hierarchy for all referred to types in these signatures.
protected void	bringToSignaturesUnchecked(SootClass sc)
Program	getProgram()
protected void	initializeProgram()
SootClass	makeClassRef(String className) Returns a (possibly not yet resolved) SootClass to be used in references to a class.
protected void	processResolveWorklist() Resolve all classes on toResolveWorklist.
void	reResolve(SootClass cl)
void	reResolve(SootClass cl, int newResolvingLevel)
void	reResolveHierarchy(SootClass sc, int level)
SootClass	resolveClass(String className, int desiredLevel) Resolves the given class.
protected boolean	resolveEverything() Returns true if we are resolving all class refs recursively.
static SootResolver	v()

Methods inherited from class java.lang.Object

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

Field Detail

classToTypesSignature

protected MultiMap<SootClass,Type> classToTypesSignature

Maps each resolved class to a list of all references in it.

classToTypesHierarchy

protected MultiMap<SootClass,Type> classToTypesHierarchy

Maps each resolved class to a list of all references in it.

Constructor Detail

SootResolver

public SootResolver(Singletons.Global g)

Method Detail

initializeProgram

protected void initializeProgram()

v

public static SootResolver v()

resolveEverything

protected boolean resolveEverything()

Returns true if we are resolving all class refs recursively.

makeClassRef

public SootClass makeClassRef(String className)

Returns a (possibly not yet resolved) SootClass to be used in references to a class. If/when the class is resolved, it will be resolved into this SootClass.

resolveClass

public SootClass resolveClass(String className,
                              int desiredLevel)

Resolves the given class. Depending on the resolver settings, may decide to resolve other classes as well. If the class has already been resolved, just returns the class that was already resolved.

processResolveWorklist

protected void processResolveWorklist()

Resolve all classes on toResolveWorklist.

addToResolveWorklist

protected void addToResolveWorklist(Type type,
                                    int level)

addToResolveWorklist

protected void addToResolveWorklist(SootClass sc,
                                    int desiredLevel)

bringToHierarchy

protected void bringToHierarchy(SootClass sc)

Hierarchy - we know the hierarchy of the class and that's it requires at least Hierarchy for all supertypes and enclosing types.

bringToHierarchyUnchecked

protected void bringToHierarchyUnchecked(SootClass sc)

reResolveHierarchy

public void reResolveHierarchy(SootClass sc,
                               int level)

bringToSignatures

protected void bringToSignatures(SootClass sc)

Signatures - we know the signatures of all methods and fields requires at least Hierarchy for all referred to types in these signatures.

bringToSignaturesUnchecked

protected void bringToSignaturesUnchecked(SootClass sc)

bringToBodies

protected void bringToBodies(SootClass sc)

Bodies - we can now start loading the bodies of methods for all referred to methods and fields in the bodies, requires signatures for the method receiver and field container, and hierarchy for all other classes referenced in method references. Current implementation does not distinguish between the receiver and other references. Therefore, it is conservative and brings all of them to signatures. But this could/should be improved.

bringToBodiesUnchecked

protected void bringToBodiesUnchecked(SootClass sc)

reResolve

public void reResolve(SootClass cl,
                      int newResolvingLevel)

reResolve

public void reResolve(SootClass cl)

getProgram

public Program getProgram()