Package it.unive.lisa.interprocedural.callgraph

Class BaseCallGraph

java.lang.Object

it.unive.lisa.util.datastructures.graph.Graph<BaseCallGraph,CallGraphNode,CallGraphEdge>

it.unive.lisa.interprocedural.callgraph.BaseCallGraph

All Implemented Interfaces:

CallGraph

public abstract class BaseCallGraph
extends Graph<BaseCallGraph,CallGraphNode,CallGraphEdge>
implements CallGraph

An instance of CallGraph that provides the basic mechanism to resolve UnresolvedCalls.

The graph underlying this call graph is built lazily through each call to resolve: querying for information about the graph before the completion of the analysis might lead to wrong results.

Field Summary

Fields inherited from class it.unive.lisa.util.datastructures.graph.Graph

adjacencyMatrix, entrypoints

Constructor Summary

Constructors

Constructor	Description
BaseCallGraph()

Method Summary

Modifier and Type	Method	Description
java.util.Collection<CodeMember>	getCallees(CodeMember cm)	Yields all the CodeMembers that are called by the given one.
java.util.Collection<CodeMember>	getCallers(CodeMember cm)	Yields all the CodeMembers that call the given one.
java.util.Collection<Call>	getCallSites(CodeMember cm)	Yields all the Calls that targets the given CodeMember.
protected abstract java.util.Collection<Type>	getPossibleTypesOfReceiver(Expression receiver)	Returns all the possible types of the given expression, that is a receiver of a method call.
void	init(Program program)	Initializes the call graph of the given program.
void	registerCall(CFGCall call)	Registers an already resolved CFGCall in this CallGraph.
Call	resolve(UnresolvedCall call)	Yields a Call implementation that corresponds to the resolution of the given UnresolvedCall.
protected DotGraph<CallGraphNode,CallGraphEdge,BaseCallGraph>	toDot(java.util.function.Function<CallGraphNode,java.lang.String> labelGenerator)	Converts this graph to a DotGraph instance.

Methods inherited from class it.unive.lisa.util.datastructures.graph.Graph

accept, addEdge, addNode, addNode, dump, dump, followersOf, getAdjacencyMatrix, getEdgeConnecting, getEdges, getEdgesCount, getEntrypoints, getIngoingEdges, getNodes, getNodesCount, getOutgoingEdges, isEqualTo, predecessorsOf, preSimplify, simplify, toString

Methods inherited from class java.lang.Object

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

Constructor Detail

BaseCallGraph

public BaseCallGraph()

Method Detail

init

public final void init(Program program)
                throws CallGraphConstructionException

Description copied from interface: CallGraph

Initializes the call graph of the given program.

Specified by:

init in interface CallGraph

Parameters:

program - the program to analyze

Throws:

CallGraphConstructionException - if an exception happens while building the call graph

registerCall

public void registerCall(CFGCall call)

Description copied from interface: CallGraph

Registers an already resolved CFGCall in this CallGraph.

Specified by:

registerCall in interface CallGraph

Parameters:

call - the call to register

resolve

public final Call resolve(UnresolvedCall call)
                   throws CallResolutionException

Description copied from interface: CallGraph

Yields a Call implementation that corresponds to the resolution of the given UnresolvedCall.

Specified by:

resolve in interface CallGraph

Parameters:

call - the call to resolve

Returns:

a collection of all the possible runtime targets

Throws:

CallResolutionException - if this call graph is unable to resolve the given call

getPossibleTypesOfReceiver

protected abstract java.util.Collection<Type> getPossibleTypesOfReceiver(Expression receiver)
                                                                  throws CallResolutionException

Returns all the possible types of the given expression, that is a receiver of a method call. How we choose this set varies from the call graph algorithm we decide to adopt (e.g., CHA, RTA, 0-CFA, ...)

Parameters:

receiver - an expression

Returns:

the possible types of the given expression

Throws:

CallResolutionException - if the types cannot be computed

getCallees

public java.util.Collection<CodeMember> getCallees(CodeMember cm)

Description copied from interface: CallGraph

Yields all the CodeMembers that are called by the given one. The returned collection might contain partial results if this call graph is not fully built.

Specified by:

getCallees in interface CallGraph

Parameters:

cm - the target code member

Returns:

the collection of called code members

getCallers

public java.util.Collection<CodeMember> getCallers(CodeMember cm)

Description copied from interface: CallGraph

Yields all the CodeMembers that call the given one. The returned collection might contain partial results if this call graph is not fully built.

Specified by:

getCallers in interface CallGraph

Parameters:

cm - the target code member

Returns:

the collection of callers code members

getCallSites

public java.util.Collection<Call> getCallSites(CodeMember cm)

Description copied from interface: CallGraph

Yields all the Calls that targets the given CodeMember. The returned collection might contain partial results if this call graph is not fully built.

Specified by:

getCallSites in interface CallGraph

Parameters:

cm - the target code member

Returns:

the collection of calls that target the code member

toDot

protected DotGraph<CallGraphNode,CallGraphEdge,BaseCallGraph> toDot(java.util.function.Function<CallGraphNode,java.lang.String> labelGenerator)

Description copied from class: Graph

Converts this graph to a DotGraph instance.

Specified by:

toDot in class Graph<BaseCallGraph,CallGraphNode,CallGraphEdge>

Parameters:

labelGenerator - the generator that the DotGraph will use to enrich node labels

Returns:

the converted DotGraph