Static Value-Flow Analysis
Classes | Namespaces
DCHG.h File Reference
#include "Graphs/GenericGraph.h"
#include "Graphs/CHG.h"
#include "SVF-LLVM/BasicTypes.h"
#include "SVFIR/SVFModule.h"
#include "Util/SVFUtil.h"
#include "Util/WorkList.h"

Go to the source code of this file.

Classes

class  SVF::DCHEdge
 
class  SVF::DCHNode
 
class  SVF::DCHGraph
 Dwarf based CHG. More...
 
struct  SVF::GenericGraphTraits< SVF::DCHNode * >
 
struct  SVF::GenericGraphTraits< Inverse< SVF::DCHNode * > >
 Inverse GenericGraphTraits specializations for call graph node, it is used for inverse traversal. More...
 
struct  SVF::GenericGraphTraits< SVF::DCHGraph * >
 

Namespaces

 SVF
 for isBitcode