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 |