Static Value-Flow Analysis
|
Go to the source code of this file.
Classes | |
class | SVF::CommonCHGraph |
Common base for class hierarchy graph. Only implements what PointerAnalysis needs. More... | |
class | SVF::CHEdge |
class | SVF::CHNode |
class | SVF::CHGraph |
struct | SVF::GenericGraphTraits< SVF::CHNode * > |
struct | SVF::GenericGraphTraits< Inverse< SVF::CHNode * > > |
struct | SVF::GenericGraphTraits< SVF::CHGraph * > |
Namespaces | |
namespace | SVF |
for isBitcode | |
Typedefs | |
typedef Set< const SVFGlobalValue * > | SVF::VTableSet |
typedef Set< const SVFFunction * > | SVF::VFunSet |
typedef GenericEdge< CHNode > | SVF::GenericCHEdgeTy |
typedef GenericNode< CHNode, CHEdge > | SVF::GenericCHNodeTy |
typedef GenericGraph< CHNode, CHEdge > | SVF::GenericCHGraphTy |
class hierarchy graph | |