Static Value-Flow Analysis
|
Common base for class hierarchy graph. Only implements what PointerAnalysis needs. More...
#include <CHG.h>
Public Types | |
enum | CHGKind { Standard , DI } |
Public Member Functions | |
virtual | ~CommonCHGraph () |
virtual bool | csHasVFnsBasedonCHA (const CallICFGNode *cs)=0 |
virtual const VFunSet & | getCSVFsBasedonCHA (const CallICFGNode *cs)=0 |
virtual bool | csHasVtblsBasedonCHA (const CallICFGNode *cs)=0 |
virtual const VTableSet & | getCSVtblsBasedonCHA (const CallICFGNode *cs)=0 |
virtual void | getVFnsFromVtbls (const CallICFGNode *cs, const VTableSet &vtbls, VFunSet &virtualFunctions)=0 |
CHGKind | getKind (void) const |
Protected Attributes | |
CHGKind | kind |
Common base for class hierarchy graph. Only implements what PointerAnalysis needs.
|
inlinevirtual |
|
pure virtual |
Implemented in SVF::DCHGraph, and SVF::CHGraph.
|
pure virtual |
Implemented in SVF::DCHGraph, and SVF::CHGraph.
|
pure virtual |
Implemented in SVF::DCHGraph, and SVF::CHGraph.
|
pure virtual |
Implemented in SVF::DCHGraph, and SVF::CHGraph.
|
inline |
|
pure virtual |
Implemented in SVF::DCHGraph, and SVF::CHGraph.