|
Static Value-Flow Analysis
|
#include "SVFIR/SVFIR.h"Go to the source code of this file.
Classes | |
| class | SVF::CDGEdge |
| class | SVF::CDGNode |
| class | SVF::CDG |
| struct | SVF::GenericGraphTraits< SVF::CDGNode * > |
| struct | SVF::GenericGraphTraits< Inverse< SVF::CDGNode * > > |
| Inverse GenericGraphTraits specializations for call graph node, it is used for inverse ICFGTraversal. More... | |
| struct | SVF::GenericGraphTraits< SVF::CDG * > |
| struct | SVF::DOTGraphTraits< SVF::CDG * > |
Namespaces | |
| namespace | SVF |
| for isBitcode | |
Typedefs | |
| typedef GenericEdge< CDGNode > | SVF::GenericCDGEdgeTy |
| typedef GenericNode< CDGNode, CDGEdge > | SVF::GenericCDGNodeTy |
| typedef std::vector< std::pair< NodeID, NodeID > > | SVF::NodePairVector |
| typedef GenericGraph< CDGNode, CDGEdge > | SVF::GenericCDGTy |