Static Value-Flow Analysis
Public Types | Public Member Functions | Protected Attributes | List of all members
SVF::CommonCHGraph Class Referenceabstract

Common base for class hierarchy graph. Only implements what PointerAnalysis needs. More...

#include <CHG.h>

Inheritance diagram for SVF::CommonCHGraph:
SVF::CHGraph SVF::DCHGraph

Public Types

enum  CHGKind { Standard , DI }
 

Public Member Functions

virtual ~CommonCHGraph ()
 
virtual bool csHasVFnsBasedonCHA (const CallICFGNode *cs)=0
 
virtual const VFunSetgetCSVFsBasedonCHA (const CallICFGNode *cs)=0
 
virtual bool csHasVtblsBasedonCHA (const CallICFGNode *cs)=0
 
virtual const VTableSetgetCSVtblsBasedonCHA (const CallICFGNode *cs)=0
 
virtual void getVFnsFromVtbls (const CallICFGNode *cs, const VTableSet &vtbls, VFunSet &virtualFunctions)=0
 
CHGKind getKind (void) const
 

Protected Attributes

CHGKind kind
 

Detailed Description

Common base for class hierarchy graph. Only implements what PointerAnalysis needs.

Definition at line 50 of file CHG.h.

Member Enumeration Documentation

◆ CHGKind

Enumerator
Standard 
DI 

Definition at line 54 of file CHG.h.

55  {
56  Standard,
57  DI
58  };

Constructor & Destructor Documentation

◆ ~CommonCHGraph()

virtual SVF::CommonCHGraph::~CommonCHGraph ( )
inlinevirtual

Definition at line 53 of file CHG.h.

53 { };

Member Function Documentation

◆ csHasVFnsBasedonCHA()

virtual bool SVF::CommonCHGraph::csHasVFnsBasedonCHA ( const CallICFGNode cs)
pure virtual

Implemented in SVF::CHGraph, and SVF::DCHGraph.

◆ csHasVtblsBasedonCHA()

virtual bool SVF::CommonCHGraph::csHasVtblsBasedonCHA ( const CallICFGNode cs)
pure virtual

Implemented in SVF::CHGraph, and SVF::DCHGraph.

◆ getCSVFsBasedonCHA()

virtual const VFunSet& SVF::CommonCHGraph::getCSVFsBasedonCHA ( const CallICFGNode cs)
pure virtual

Implemented in SVF::CHGraph, and SVF::DCHGraph.

◆ getCSVtblsBasedonCHA()

virtual const VTableSet& SVF::CommonCHGraph::getCSVtblsBasedonCHA ( const CallICFGNode cs)
pure virtual

Implemented in SVF::CHGraph, and SVF::DCHGraph.

◆ getKind()

CHGKind SVF::CommonCHGraph::getKind ( void  ) const
inline

Definition at line 67 of file CHG.h.

68  {
69  return kind;
70  }
CHGKind kind
Definition: CHG.h:73

◆ getVFnsFromVtbls()

virtual void SVF::CommonCHGraph::getVFnsFromVtbls ( const CallICFGNode cs,
const VTableSet vtbls,
VFunSet virtualFunctions 
)
pure virtual

Implemented in SVF::CHGraph, and SVF::DCHGraph.

Member Data Documentation

◆ kind

CHGKind SVF::CommonCHGraph::kind
protected

Definition at line 73 of file CHG.h.


The documentation for this class was generated from the following file: