Package it.unive.lisa.interprocedural.callgraph

Interface CallGraph

All Known Implementing Classes:

BaseCallGraph

public interface CallGraph

A callgraph of the program to analyze, that knows how to resolve dynamic targets of UnresolvedCalls.

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.
void	init(Program program)	Initializes the call graph of the given program.
Call	resolve(UnresolvedCall call)	Yields a Call implementation that corresponds to the resolution of the given UnresolvedCall.

Method Detail

init

void init(Program program)
   throws CallGraphConstructionException

Initializes the call graph of the given program.

Parameters:

program - the program to analyze

Throws:

CallGraphConstructionException - if an exception happens while building the call graph

resolve

Call resolve(UnresolvedCall call)
      throws CallResolutionException

Yields a Call implementation that corresponds to the resolution of the given UnresolvedCall. This method will return:

• a CFGCall, if at least one CFG that matches UnresolvedCall.getTargetName() is found. The returned CFGCall will be linked to all the possible runtime targets matching UnresolvedCall.getTargetName();
• an OpenCall, if no CFG matching UnresolvedCall.getTargetName() is found.

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

getCallers

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

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

Parameters:

cm - the target code member

Returns:

the collection of callers code members

getCallees

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

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.

Parameters:

cm - the target code member

Returns:

the collection of called code members