IntraProcAliasAnalysis

IntraProcedurial DataFlow Analysis to compute exit and entry from all the function which

Synopsis

Declared in <src/midend/programAnalysis/VirtualFunctionAnalysis/IntraProcAliasAnalysis.h>

class IntraProcAliasAnalysis
    : public IntraProcDataFlowAnalysis<SgGraphNode, CompReprPtr>

Base Classes

Name	Description
IntraProcDataFlowAnalysis<SgGraphNode, CompReprPtr>

Member Functions

Name	Description
IntraProcAliasAnalysis [constructor]
~IntraProcAliasAnalysis [destructor] [virtual]	Destructor
applyCFGTransferFunction [virtual]	Apply the Transfer function to a node For an expression “pi = qj” OutC =TransferFunction(InC) = (InC – Must(Alias(p,i)) U (*a, b) where a ε Alias(p,i) and b ε Alias(q,j);
getAllNodes [virtual]	Get all the CFG Nodes
getCFGInData [virtual]	Get the IN data of a CFG Node
getCFGOutData [virtual]	Get the OUT data of a CFG Node
getFunctionEntry	Get the Entry CompactRepresentation Graph for the function
getFunctionExit	Get the Exit CompactRepresentation Graph for the function
getPredecessors [virtual]	Get all the Predecessors of a CFG Node
getReturnStmts	Get the return statements
init	Initialized the Analysis
meet_data [virtual]	Meet_data for intra procedural dataflow analysis. This function is called when two path merges in CFG
run [virtual]	Perform the intra procedural analysis
runCheck	run and check whether any changes have been made
setCFGInData [virtual]	Set the IN data of a CFG Node
setFunctionEntry	Set Function Entry CompactRepresentation
setFunctionExit	Set Function Exit CompactRepresentation

Protected Member Functions

Name	Description
addVirtualFunction	Given a callSite and type of object add appropriate virtual function declaration
buildCFG [virtual]	Constructs the CFG
getAliases
getConstructorParametersAliasRelations	Retrieve Alias Relations from Constructor Parameters.
getFunctionParametersAliasRelations	Retrieve Alias Relations from Function Parameters. Map data between actual and formal parameters. Handles return values as well.
updateVirtualFunctionInCallGraph	Given a CallSite update with all the virtual function calls

Protected Data Members

Name	Description
cfg	The CFG for the function
cfgNodes	List of all the CFGNodes in topological order
cgBuilder	The Call Graph Builder for interation computatoin
checkPointHash
entry	Entry CompactRepresentation of the function
exit	Exit CompactRepresentation of the function
mapping	A mapping to hold SgFunctionDeclaration to IntraProcAliasAnalysis
resolver	A mapping to hold function resolve data

Private Data Members

Name	Description
classHierarchy	Class Hierarchy Instance
gen	AliasInfoGenerator to hold Alias Information

Created with MrDocs