TCT.h File Reference

#include <memory>
#include <vector>
#include "MemoryModel/PointerAnalysis.h"
#include "Graphs/SCC.h"
#include "Graphs/ThreadCallGraph.h"
#include "Util/CxtStmt.h"
#include "Util/GeneralType.h"
#include "Util/SVFUtil.h"

Go to the source code of this file.

Classes
class	SVF::TCTEdge
class	SVF::TCTNode
class	SVF::TCT
struct	SVF::TCT::FunObjVarIdCmp
struct	SVF::GenericGraphTraits< SVF::TCTNode * >
struct	SVF::GenericGraphTraits< Inverse< SVF::TCTNode * > >
	Inverse GenericGraphTraits specializations for Value flow node, it is used for inverse traversal. More...
struct	SVF::GenericGraphTraits< SVF::TCT * >

Namespaces
namespace	SVF
	for isBitcode

Typedefs
typedef GenericEdge< TCTNode >	SVF::GenericTCTEdgeTy
typedef GenericNode< TCTNode, TCTEdge >	SVF::GenericTCTNodeTy
typedef GenericGraph< TCTNode, TCTEdge >	SVF::GenericThreadCreateTreeTy