|
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.