#include <DCHG.h>

Inheritance diagram for SVF::DCHNode:

Public Types
enum	CLASSATTR { PURE_ABSTRACT = 0x1 , MULTI_INHERITANCE = 0x2 , TEMPLATE = 0x04 , SCALAR = 0x08 }

typedef std::vector< const Function * >	FuncVector

Public Types inherited from SVF::GenericNode< DCHNode, DCHEdge >
typedef DCHNode	NodeType

typedef DCHEdge	EdgeType

typedef OrderedSet< EdgeType *, typename EdgeType::equalGEdge >	GEdgeSetTy
	Edge kind.

typedef GEdgeSetTy::iterator	iterator

typedef GEdgeSetTy::const_iterator	const_iterator

Public Types inherited from SVF::SVFValue
enum	GNodeK { IntraBlock , GlobalBlock , FunEntryBlock , FunExitBlock , FunCallBlock , FunRetBlock , ValNode , ArgValNode , FunValNode , GepValNode , RetValNode , VarargValNode , GlobalValNode , ConstAggValNode , ConstDataValNode , BlackHoleValNode , ConstFPValNode , ConstIntValNode , ConstNullptrValNode , DummyValNode , ObjNode , GepObjNode , BaseObjNode , FunObjNode , HeapObjNode , StackObjNode , GlobalObjNode , ConstAggObjNode , ConstDataObjNode , ConstFPObjNode , ConstIntObjNode , ConstNullptrObjNode , DummyObjNode , Cmp , BinaryOp , UnaryOp , Branch , DummyVProp , NPtr , FRet , ARet , AParm , FParm , Addr , Copy , Gep , Store , Load , TPhi , TIntraPhi , TInterPhi , FPIN , FPOUT , APIN , APOUT , MPhi , MIntraPhi , MInterPhi , CallNodeKd , CDNodeKd , CFLNodeKd , CHNodeKd , ConstraintNodeKd , TCTNodeKd , DCHNodeKd , BasicBlockKd , OtherKd }

Public Member Functions
	DCHNode (const DIType *diType, NodeID i=0, GNodeK k=GNodeK::DCHNodeKd)

	~DCHNode ()

const DIType *	getDIType (void) const

virtual const std::string &	getName () const

void	setFlag (CLASSATTR mask)
	Flags.

bool	hasFlag (CLASSATTR mask) const

void	setPureAbstract ()
	Attribute.

void	setMultiInheritance ()

void	setTemplate ()

void	setScalar ()

bool	isPureAbstract () const

bool	isMultiInheritance () const

bool	isTemplate () const

bool	isScalar () const

void	addTypedef (const DIDerivedType *diTypedef)

const Set< const DIDerivedType * > &	getTypedefs (void) const

void	setVTable (const GlobalObjVar *vtbl)

const GlobalObjVar *	getVTable () const

const std::vector< std::vector< const Function * > > &	getVfnVectors (void) const
	Returns the vector of virtual function vectors.

std::vector< const Function * > &	getVfnVector (unsigned n)
	Return the nth virtual function vector in the vtable.

Public Member Functions inherited from SVF::GenericNode< DCHNode, DCHEdge >
	GenericNode (NodeID i, GNodeK k, const SVFType *svfType=nullptr)
	Constructor.

virtual	~GenericNode ()
	Destructor.

bool	hasIncomingEdge () const
	Has incoming/outgoing edge set.

EdgeType *	hasIncomingEdge (EdgeType *edge) const
	Find incoming and outgoing edges.

bool	hasOutgoingEdge () const

EdgeType *	hasOutgoingEdge (EdgeType *edge) const

iterator	OutEdgeBegin ()
	iterators

const_iterator	OutEdgeBegin () const

iterator	OutEdgeEnd ()

const_iterator	OutEdgeEnd () const

iterator	InEdgeBegin ()

const_iterator	InEdgeBegin () const

iterator	InEdgeEnd ()

const_iterator	InEdgeEnd () const

virtual iterator	directOutEdgeBegin ()
	Iterators used for SCC detection, overwrite it in child class if necessary.

virtual const_iterator	directOutEdgeBegin () const

virtual iterator	directOutEdgeEnd ()

virtual const_iterator	directOutEdgeEnd () const

virtual iterator	directInEdgeBegin ()

virtual const_iterator	directInEdgeBegin () const

virtual iterator	directInEdgeEnd ()

virtual const_iterator	directInEdgeEnd () const

bool	addIncomingEdge (EdgeType *inEdge)
	Add incoming and outgoing edges.

bool	addOutgoingEdge (EdgeType *outEdge)

const GEdgeSetTy &	getOutEdges () const

const GEdgeSetTy &	getInEdges () const

u32_t	removeIncomingEdge (EdgeType *edge)

u32_t	removeOutgoingEdge (EdgeType *edge)

Public Member Functions inherited from SVF::SVFValue
	SVFValue (NodeID i, GNodeK k, const SVFType *ty=nullptr)

NodeID	getId () const
	Get ID.

GNodeK	getNodeKind () const
	Get node kind.

virtual const SVFType *	getType () const

virtual void	setName (const std::string &nameInfo)

virtual void	setName (std::string &&nameInfo)

virtual void	setSourceLoc (const std::string &sourceCodeInfo)

virtual const std::string	getSourceLoc () const

const std::string	valueOnlyToString () const

Private Attributes
const DIType *	diType
	Type of this node.

Set< const DIDerivedType * >	typedefs
	Typedefs which map to this type.

const GlobalObjVar *	vtable

std::string	typeName

size_t	flags

std::vector< const Function * >	primaryVTable
	The virtual functions which this class actually defines/overrides.

std::vector< std::vector< const Function * > >	vfnVectors

Additional Inherited Members
Static Public Member Functions inherited from SVF::GenericNode< DCHNode, DCHEdge >
static bool	classof (const GenericNode< DCHNode, DCHEdge > *)

static bool	classof (const SVFValue *)

Static Protected Member Functions inherited from SVF::SVFValue
static bool	isICFGNodeKinds (GNodeK n)
	Helper functions to check node kinds.

static bool	isInterICFGNodeKind (GNodeK n)

static bool	isSVFVarKind (GNodeK n)

static bool	isValVarKinds (GNodeK n)

static bool	isConstantDataValVar (GNodeK n)

static bool	isObjVarKinds (GNodeK n)

static bool	isBaseObjVarKinds (GNodeK n)

static bool	isConstantDataObjVarKinds (GNodeK n)

static bool	isVFGNodeKinds (GNodeK n)

static bool	isArgumentVFGNodeKinds (GNodeK n)

static bool	isStmtVFGNodeKinds (GNodeK n)

static bool	isPHIVFGNodeKinds (GNodeK n)

static bool	isMRSVFGNodeKinds (GNodeK n)

static bool	isMSSAPHISVFGNodeKinds (GNodeK n)

Protected Attributes inherited from SVF::SVFValue
NodeID	id
	Node ID.

GNodeK	nodeKind
	Node kind.

const SVFType *	type
	SVF type.

std::string	name

std::string	sourceLoc
	Source code information of this value.

Detailed Description

Definition at line 61 of file DCHG.h.

Member Typedef Documentation

◆ FuncVector

typedef std::vector<const Function*> SVF::DCHNode::FuncVector

Definition at line 72 of file DCHG.h.

Member Enumeration Documentation

◆ CLASSATTR

enum SVF::DCHNode::CLASSATTR

Enumerator
PURE_ABSTRACT
MULTI_INHERITANCE
TEMPLATE
SCALAR

Definition at line 64 of file DCHG.h.

    {
        PURE_ABSTRACT = 0x1,     // pure virtual abstract class
        MULTI_INHERITANCE = 0x2, // multi inheritance class
        TEMPLATE = 0x04,         // template class
        SCALAR = 0x08            // non-class scalar type
    } CLASSATTR;

Constructor & Destructor Documentation

◆ DCHNode()

SVF::DCHNode::DCHNode	(	const DIType *	diType,
		NodeID	i = `0`,
		GNodeK	k = `GNodeK::DCHNodeKd`
	)

inline

Definition at line 74 of file DCHG.h.

        : GenericNode<DCHNode, DCHEdge>(i, k), vtable(nullptr), flags(0)
    {
        this->diType = diType;
        if (diType == nullptr)
        {
            typeName = "null-void";
        }
        else if (diType->getRawName() != nullptr)
        {
            typeName = diType->getName().str();
        }
        else
        {
            typeName = "unnamed!";
        }
    }

◆ ~DCHNode()

SVF::DCHNode::~DCHNode ( )

inline

Definition at line 92 of file DCHG.h.

92{ }

Member Function Documentation

◆ addTypedef()

void SVF::DCHNode::addTypedef ( const DIDerivedType * diTypedef )

inline

Definition at line 152 of file DCHG.h.

    {
        typedefs.insert(diTypedef);
    }

◆ getDIType()

const DIType * SVF::DCHNode::getDIType ( void ) const

inline

Definition at line 94 of file DCHG.h.

    {
        return diType;
    }

◆ getName()

virtual const std::string & SVF::DCHNode::getName ( ) const

inlinevirtual

Reimplemented from SVF::SVFValue.

Definition at line 99 of file DCHG.h.

    {
        return typeName;
    }

◆ getTypedefs()

const Set< const DIDerivedType * > & SVF::DCHNode::getTypedefs ( void ) const

inline

Definition at line 157 of file DCHG.h.

    {
        return typedefs;
    }

◆ getVfnVector()

std::vector< const Function * > & SVF::DCHNode::getVfnVector ( unsigned n )

inline

Return the nth virtual function vector in the vtable.

Definition at line 179 of file DCHG.h.

    {
        if (vfnVectors.size() < n + 1)
        {
            vfnVectors.resize(n + 1);
        }
 
        return vfnVectors[n];
    }

◆ getVfnVectors()

const std::vector< std::vector< const Function * > > & SVF::DCHNode::getVfnVectors ( void ) const

inline

Returns the vector of virtual function vectors.

Definition at line 173 of file DCHG.h.

    {
        return vfnVectors;
    }

◆ getVTable()

const GlobalObjVar * SVF::DCHNode::getVTable ( ) const

inline

Definition at line 167 of file DCHG.h.

    {
        return vtable;
    }

◆ hasFlag()

bool SVF::DCHNode::hasFlag ( CLASSATTR mask ) const

inline

Definition at line 110 of file DCHG.h.

    {
        return (flags & mask) == mask;
    }

◆ isMultiInheritance()

bool SVF::DCHNode::isMultiInheritance ( ) const

inline

Definition at line 138 of file DCHG.h.

    {
        return hasFlag(MULTI_INHERITANCE);
    }

◆ isPureAbstract()

bool SVF::DCHNode::isPureAbstract ( ) const

inline

Definition at line 134 of file DCHG.h.

    {
        return hasFlag(PURE_ABSTRACT);
    }

◆ isScalar()

bool SVF::DCHNode::isScalar ( ) const

inline

Definition at line 146 of file DCHG.h.

    {
        return hasFlag(SCALAR);
    }

◆ isTemplate()

bool SVF::DCHNode::isTemplate ( ) const

inline

Definition at line 142 of file DCHG.h.

    {
        return hasFlag(TEMPLATE);
    }

◆ setFlag()

void SVF::DCHNode::setFlag ( CLASSATTR mask )

inline

Flags.

Definition at line 106 of file DCHG.h.

    {
        flags |= mask;
    }

◆ setMultiInheritance()

void SVF::DCHNode::setMultiInheritance ( )

inline

Definition at line 122 of file DCHG.h.

    {
        setFlag(MULTI_INHERITANCE);
    }

◆ setPureAbstract()

void SVF::DCHNode::setPureAbstract ( )

inline

Attribute.

Definition at line 118 of file DCHG.h.

    {
        setFlag(PURE_ABSTRACT);
    }

◆ setScalar()

void SVF::DCHNode::setScalar ( )

inline

Definition at line 130 of file DCHG.h.

    {
        setFlag(SCALAR);
    }

◆ setTemplate()

void SVF::DCHNode::setTemplate ( )

inline

Definition at line 126 of file DCHG.h.

    {
        setFlag(TEMPLATE);
    }

◆ setVTable()

void SVF::DCHNode::setVTable ( const GlobalObjVar * vtbl )

inline

Definition at line 162 of file DCHG.h.

    {
        vtable = vtbl;
    }

Member Data Documentation

◆ diType

const DIType* SVF::DCHNode::diType

private

Type of this node.

Definition at line 191 of file DCHG.h.

◆ flags

size_t SVF::DCHNode::flags

private

Definition at line 196 of file DCHG.h.

◆ primaryVTable

std::vector<const Function* > SVF::DCHNode::primaryVTable

private

The virtual functions which this class actually defines/overrides.

Definition at line 198 of file DCHG.h.

◆ typedefs

Set<const DIDerivedType *> SVF::DCHNode::typedefs

private

Typedefs which map to this type.

Definition at line 193 of file DCHG.h.

◆ typeName

std::string SVF::DCHNode::typeName

private

Definition at line 195 of file DCHG.h.

◆ vfnVectors

std::vector<std::vector<const Function*> > SVF::DCHNode::vfnVectors

private

If a vtable is split into more than one vfn vector for multiple inheritance, 0 would be the primary base + this classes virtual functions, 1 would be the second parent, 2 would be third parent, etc.

Definition at line 202 of file DCHG.h.

◆ vtable

const GlobalObjVar* SVF::DCHNode::vtable

private

Definition at line 194 of file DCHG.h.

The documentation for this class was generated from the following file:

/home/runner/work/SVF/SVF/svf-llvm/include/SVF-LLVM/DCHG.h

Public Types

Public Member Functions

Private Attributes

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ FuncVector

Member Enumeration Documentation

◆ CLASSATTR

Constructor & Destructor Documentation

◆ DCHNode()

◆ ~DCHNode()

Member Function Documentation

◆ addTypedef()

◆ getDIType()

◆ getName()

◆ getTypedefs()

◆ getVfnVector()

◆ getVfnVectors()

◆ getVTable()

◆ hasFlag()

◆ isMultiInheritance()

◆ isPureAbstract()

◆ isScalar()

◆ isTemplate()

◆ setFlag()

◆ setMultiInheritance()

◆ setPureAbstract()

◆ setScalar()

◆ setTemplate()

◆ setVTable()

Member Data Documentation

◆ diType

◆ flags

◆ primaryVTable

◆ typedefs

◆ typeName

◆ vfnVectors

◆ vtable