Package pascal.taie.analysis.pta.core.cs

Class CSCallGraph

java.lang.Object

pascal.taie.analysis.graph.callgraph.AbstractCallGraph<CSCallSite,CSMethod>

pascal.taie.analysis.pta.core.cs.CSCallGraph

All Implemented Interfaces:

Serializable, Iterable<CSMethod>, CallGraph<CSCallSite,CSMethod>, StmtResult<Set<CSMethod>>, Graph<CSMethod>

public class CSCallGraph
extends AbstractCallGraph<CSCallSite,CSMethod>

Represents context-sensitive call graph.

See Also:

• Serialized Form

Field Summary

Fields inherited from class pascal.taie.analysis.graph.callgraph.AbstractCallGraph

calleeToEdges, callSitesIn, callSiteToContainer, callSiteToEdges, entryMethods, reachableMethods

Constructor Summary

Constructors

Constructor	Description
CSCallGraph(CSManager csManager)

Method Summary

Modifier and Type	Method	Description
boolean	addEdge(Edge<CSCallSite,CSMethod> edge)	Adds a new call graph edge to this call graph.
void	addEntryMethod(CSMethod entryMethod)	Adds an entry method to this call graph.
boolean	addReachableMethod(CSMethod csMethod)	Adds a reachable method to this call graph.
Stream<Edge<CSCallSite,CSMethod>>	edges()
Stream<Edge<CSCallSite,CSMethod>>	edgesInTo(CSMethod csMethod)
Stream<Edge<CSCallSite,CSMethod>>	edgesOutOf(CSCallSite csCallSite)
Set<CSMethod>	getCalleesOf(CSCallSite csCallSite)
Set<CSCallSite>	getCallersOf(CSMethod callee)
Set<CSCallSite>	getCallSitesIn(CSMethod csMethod)
CSMethod	getContainerOf(CSCallSite csCallSite)
Set<CSMethod>	getResult(Stmt stmt)
boolean	isRelevant(Stmt stmt)

Methods inherited from class pascal.taie.analysis.graph.callgraph.AbstractCallGraph

contains, entryMethods, getCalleesOfM, getInEdgesOf, getNodes, getNumberOfEdges, getNumberOfMethods, getOutEdgesOf, getPredsOf, getSuccsOf, reachableMethods

Methods inherited from class java.lang.Object

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

Methods inherited from interface pascal.taie.analysis.graph.callgraph.CallGraph

callSitesIn

Methods inherited from interface pascal.taie.util.graph.Graph

getInDegreeOf, getNumberOfNodes, getOutDegreeOf, hasEdge, hasEdge, hasNode, iterator

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Details

CSCallGraph

public CSCallGraph(CSManager csManager)

Method Details

addEntryMethod

public void addEntryMethod(CSMethod entryMethod)

Adds an entry method to this call graph.

addReachableMethod

public boolean addReachableMethod(CSMethod csMethod)

Adds a reachable method to this call graph.

Returns:

true if this call graph changed as a result of the call, otherwise false.

addEdge

public boolean addEdge(Edge<CSCallSite,CSMethod> edge)

Adds a new call graph edge to this call graph.

Parameters:

edge - the call edge to be added

Returns:

true if the call graph changed as a result of the call, otherwise false.

getCallersOf

public Set<CSCallSite> getCallersOf(CSMethod callee)

Specified by:

getCallersOf in interface CallGraph<CSCallSite,CSMethod>

Overrides:

getCallersOf in class AbstractCallGraph<CSCallSite,CSMethod>

Returns:

the call sites that invoke the given method.

getCalleesOf

public Set<CSMethod> getCalleesOf(CSCallSite csCallSite)

Specified by:

getCalleesOf in interface CallGraph<CSCallSite,CSMethod>

Overrides:

getCalleesOf in class AbstractCallGraph<CSCallSite,CSMethod>

Returns:

the methods that are called by the given call site.

getContainerOf

public CSMethod getContainerOf(CSCallSite csCallSite)

Specified by:

getContainerOf in interface CallGraph<CSCallSite,CSMethod>

Overrides:

getContainerOf in class AbstractCallGraph<CSCallSite,CSMethod>

Returns:

the method that contains the given call site.

getCallSitesIn

public Set<CSCallSite> getCallSitesIn(CSMethod csMethod)

Specified by:

getCallSitesIn in interface CallGraph<CSCallSite,CSMethod>

Overrides:

getCallSitesIn in class AbstractCallGraph<CSCallSite,CSMethod>

Returns:

the call sites within the given method.

edgesOutOf

public Stream<Edge<CSCallSite,CSMethod>> edgesOutOf(CSCallSite csCallSite)

Specified by:

edgesOutOf in interface CallGraph<CSCallSite,CSMethod>

Overrides:

edgesOutOf in class AbstractCallGraph<CSCallSite,CSMethod>

Returns:

the call edges out of the given call site.

edgesInTo

public Stream<Edge<CSCallSite,CSMethod>> edgesInTo(CSMethod csMethod)

Specified by:

edgesInTo in interface CallGraph<CSCallSite,CSMethod>

Overrides:

edgesInTo in class AbstractCallGraph<CSCallSite,CSMethod>

Returns:

the call edges targeting to the given method.

edges

public Stream<Edge<CSCallSite,CSMethod>> edges()

Specified by:

edges in interface CallGraph<CSCallSite,CSMethod>

Overrides:

edges in class AbstractCallGraph<CSCallSite,CSMethod>

Returns:

all call edges in this call graph.

isRelevant

public boolean isRelevant(Stmt stmt)

Returns:

if stmt is relevant in this result.

getResult

public Set<CSMethod> getResult(Stmt stmt)

Returns:

analysis result of given stmt.