Package soot.jimple.toolkits.callgraph

Class VirtualEdgesSummaries

java.lang.Object

soot.jimple.toolkits.callgraph.VirtualEdgesSummaries

public class VirtualEdgesSummaries
extends Object

Utility class used by OnFlyCallGraphBuilder for finding functions at which to place virtual callgraph edges. Function signatures are configurable in SUMMARIESFILE.

Author:

Julius Naeumann

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static class	VirtualEdgesSummaries.AbstractParameterMapping
static class	VirtualEdgesSummaries.DeferredVirtualEdgeTarget	A deferred edge target models cases in which a call does not immediately invoke the callback, but instead returns an object on which a callback an be invoked later.
static class	VirtualEdgesSummaries.DirectParameterMapping
static class	VirtualEdgesSummaries.DirectTarget
static class	VirtualEdgesSummaries.IndirectTarget
static class	VirtualEdgesSummaries.InstanceinvokeSource
static class	VirtualEdgesSummaries.InvocationVirtualEdgeTarget	The target of a PAG or callgraph edge that corresponds to the immediate execution of a method.
static class	VirtualEdgesSummaries.StaticinvokeSource
static class	VirtualEdgesSummaries.VirtualEdge
static class	VirtualEdgesSummaries.VirtualEdgeSource
static class	VirtualEdgesSummaries.VirtualEdgeTarget	Abstract base class for all virtual edge targets.

Field Summary

Fields

Modifier and Type	Field	Description
static int	BASE_INDEX
protected HashMap<MethodSubSignature,VirtualEdgesSummaries.VirtualEdge>	instanceinvokeEdges
protected HashMap<String,VirtualEdgesSummaries.VirtualEdge>	staticinvokeEdges

Constructor Summary

Constructors

Constructor	Description
VirtualEdgesSummaries()	Creates a default instance of the VirtualEdgesSummaries and loads the summaries from the virtualedges.xml that comes with Soot.
VirtualEdgesSummaries(File summariesFile)	Creates a new instance of the VirtualEdgesSummaries class and loads the summaries from the given input file
VirtualEdgesSummaries(Collection<VirtualEdgesSummaries.VirtualEdge> edges)

Method Summary

Modifier and Type	Method	Description
protected void	addInstanceInvoke(VirtualEdgesSummaries.VirtualEdge edg, MethodSubSignature subsig)
Set<VirtualEdgesSummaries.VirtualEdge>	getAllVirtualEdges()
VirtualEdgesSummaries.VirtualEdge	getVirtualEdgesMatchingFunction(String signature)
VirtualEdgesSummaries.VirtualEdge	getVirtualEdgesMatchingSubSig(MethodSubSignature subsig)
boolean	isEmpty()
protected void	loadSummaries(InputStream in)	Loads the edge summaries from the given stream
Document	toXMLDocument()

Methods inherited from class java.lang.Object

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

Field Detail

BASE_INDEX

public static final int BASE_INDEX

See Also:

Constant Field Values

instanceinvokeEdges

protected final HashMap<MethodSubSignature,VirtualEdgesSummaries.VirtualEdge> instanceinvokeEdges

staticinvokeEdges

protected final HashMap<String,VirtualEdgesSummaries.VirtualEdge> staticinvokeEdges

Constructor Detail

VirtualEdgesSummaries

public VirtualEdgesSummaries()

Creates a default instance of the VirtualEdgesSummaries and loads the summaries from the virtualedges.xml that comes with Soot.

VirtualEdgesSummaries

public VirtualEdgesSummaries(File summariesFile)

Creates a new instance of the VirtualEdgesSummaries class and loads the summaries from the given input file

Parameters:

summariesFile - The file from which to load the virtual edge summaries

VirtualEdgesSummaries

public VirtualEdgesSummaries(Collection<VirtualEdgesSummaries.VirtualEdge> edges)

Method Detail

loadSummaries

protected void loadSummaries(InputStream in)
                      throws SAXException,
                             IOException,
                             ParserConfigurationException

Loads the edge summaries from the given stream

Parameters:

in - The InputStream from which to load the summaries

Throws:

SAXException

IOException

ParserConfigurationException

addInstanceInvoke

protected void addInstanceInvoke(VirtualEdgesSummaries.VirtualEdge edg,
                                 MethodSubSignature subsig)

toXMLDocument

public Document toXMLDocument()
                       throws ParserConfigurationException

Throws:

ParserConfigurationException

getVirtualEdgesMatchingSubSig

public VirtualEdgesSummaries.VirtualEdge getVirtualEdgesMatchingSubSig(MethodSubSignature subsig)

getVirtualEdgesMatchingFunction

public VirtualEdgesSummaries.VirtualEdge getVirtualEdgesMatchingFunction(String signature)

isEmpty

public boolean isEmpty()

getAllVirtualEdges

public Set<VirtualEdgesSummaries.VirtualEdge> getAllVirtualEdges()