VirtualFunctionAnalysis

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

Synopsis

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

class VirtualFunctionAnalysis
    : public PtrAliasAnalysis

Base Classes

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

Member Functions

Name	Description
VirtualFunctionAnalysis [constructor]	Construct from SgProject
~VirtualFunctionAnalysis [destructor]	Destructor
pruneCallGraph	Using the DataFlow based Virtual Function Analysis it prunes the call graph to generate more precise and accurate call graph
reset	DataFlow based Virtual function resolve technique is expensive. So it's memorized so that subsequent resolve calls can be answered. This function reset the memorization.
resolveFunctionCall	Given a Callsite(SgFunctionCallExp or SgConstructionInitializer) it resolves the function calls. For Virtual Functions it returns the minimal set of functions that may be execute at runtime.
run [virtual]

Private Data Members

Name

isExecuted

Created with MrDocs