Skip to content

PtrAliasAnalysis

PtrAliasAnalysis computes Alias Information, which is used for Virtual Function Resolving.

Synopsis

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

Base Classes

Name

Description

InterProcDataFlowAnalysis

Enums

Name

Description

COLOR

Enum used for Topological sorting

TRAVERSAL_TYPE

Enum used for identifying traversal type

Member Functions

Name

Description

PtrAliasAnalysis [constructor]

Construct from SgProject

~PtrAliasAnalysis [destructor]

Destructor

getFunctionDeclarations [virtual]

Get the list of function declarations to perform interprocedural DataFlowAnalysis

run [virtual]

runAndCheckIntraProcAnalysis [virtual]

Execute IntraProc Analysis and check whether something changed

Protected Data Members

Name

Description

callGraph

The stored callGraph for internal processing

cgBuilder

classHierarchy

ClassHierarchy of the project

intraAliases

A map from SgFunctionDeclaration to IntraProcAliasAnalysis

resolver

A map which stores the function call resolve information

Private Data Members

Name

order

Derived Classes

Name

Description

VirtualFunctionAnalysis

Virutal Function Analysis and PointerAliasAnalysis are dependent on each other for their accuracy. That's why they are done together

Created with MrDocs