|
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 GlobalObjVar * > | SVF::VTableSet |
| typedef Set< const FunObjVar * > | SVF::VFunSet |
| typedef GenericEdge< CHNode > | SVF::GenericCHEdgeTy |
| typedef GenericNode< CHNode, CHEdge > | SVF::GenericCHNodeTy |
| typedef GenericGraph< CHNode, CHEdge > | SVF::GenericCHGraphTy |
| class hierarchy graph | |