#include <ConsGNode.h>

Inheritance diagram for SVF::ConstraintNode:

Public Types
typedef ConstraintEdge::ConstraintEdgeSetTy::iterator	iterator

typedef ConstraintEdge::ConstraintEdgeSetTy::const_iterator	const_iterator

Public Types inherited from SVF::GenericNode< ConstraintNode, ConstraintEdge >
typedef ConstraintNode	NodeType

typedef ConstraintEdge	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
	ConstraintNode (NodeID i)

bool	isPWCNode () const
	Whether a node involves in PWC, if so, all its points-to elements should become field-insensitive.

void	setPWCNode ()

bool	isdirectEdge (ConstraintEdge::ConstraintEdgeK kind)
	Direct and Indirect SVFIR edges.

bool	isIndirectEdge (ConstraintEdge::ConstraintEdgeK kind)

const ConstraintEdge::ConstraintEdgeSetTy &	getDirectInEdges () const
	Return constraint edges.

const ConstraintEdge::ConstraintEdgeSetTy &	getDirectOutEdges () const

const ConstraintEdge::ConstraintEdgeSetTy &	getCopyInEdges () const

const ConstraintEdge::ConstraintEdgeSetTy &	getCopyOutEdges () const

const ConstraintEdge::ConstraintEdgeSetTy &	getGepInEdges () const

const ConstraintEdge::ConstraintEdgeSetTy &	getGepOutEdges () const

const ConstraintEdge::ConstraintEdgeSetTy &	getLoadInEdges () const

const ConstraintEdge::ConstraintEdgeSetTy &	getLoadOutEdges () const

const ConstraintEdge::ConstraintEdgeSetTy &	getStoreInEdges () const

const ConstraintEdge::ConstraintEdgeSetTy &	getStoreOutEdges () const

const ConstraintEdge::ConstraintEdgeSetTy &	getAddrInEdges () const

const ConstraintEdge::ConstraintEdgeSetTy &	getAddrOutEdges () const

iterator	directOutEdgeBegin ()
	Iterators.

iterator	directOutEdgeEnd ()

iterator	directInEdgeBegin ()

iterator	directInEdgeEnd ()

const_iterator	directOutEdgeBegin () const

const_iterator	directOutEdgeEnd () const

const_iterator	directInEdgeBegin () const

const_iterator	directInEdgeEnd () const

ConstraintEdge::ConstraintEdgeSetTy &	incomingAddrEdges ()

ConstraintEdge::ConstraintEdgeSetTy &	outgoingAddrEdges ()

const_iterator	outgoingAddrsBegin () const

const_iterator	outgoingAddrsEnd () const

const_iterator	incomingAddrsBegin () const

const_iterator	incomingAddrsEnd () const

const_iterator	outgoingLoadsBegin () const

const_iterator	outgoingLoadsEnd () const

const_iterator	incomingLoadsBegin () const

const_iterator	incomingLoadsEnd () const

const_iterator	outgoingStoresBegin () const

const_iterator	outgoingStoresEnd () const

const_iterator	incomingStoresBegin () const

const_iterator	incomingStoresEnd () const

void	addIncomingCopyEdge (CopyCGEdge *inEdge)
	Add constraint graph edges.

void	addIncomingGepEdge (GepCGEdge *inEdge)

void	addOutgoingCopyEdge (CopyCGEdge *outEdge)

void	addOutgoingGepEdge (GepCGEdge *outEdge)

void	addIncomingAddrEdge (AddrCGEdge *inEdge)

void	addIncomingLoadEdge (LoadCGEdge *inEdge)

void	addIncomingStoreEdge (StoreCGEdge *inEdge)

bool	addIncomingDirectEdge (ConstraintEdge *inEdge)

void	addOutgoingAddrEdge (AddrCGEdge *outEdge)

bool	addOutgoingLoadEdge (LoadCGEdge *outEdge)

bool	addOutgoingStoreEdge (StoreCGEdge *outEdge)

bool	addOutgoingDirectEdge (ConstraintEdge *outEdge)

bool	removeOutgoingAddrEdge (AddrCGEdge *outEdge)
	Remove constraint graph edges.

bool	removeIncomingAddrEdge (AddrCGEdge *inEdge)

bool	removeOutgoingDirectEdge (ConstraintEdge *outEdge)

bool	removeIncomingDirectEdge (ConstraintEdge *inEdge)

bool	removeOutgoingLoadEdge (LoadCGEdge *outEdge)

bool	removeIncomingLoadEdge (LoadCGEdge *inEdge)

bool	removeOutgoingStoreEdge (StoreCGEdge *outEdge)

bool	removeIncomingStoreEdge (StoreCGEdge *inEdge)

virtual const std::string	toString () const

Public Member Functions inherited from SVF::GenericNode< ConstraintNode, ConstraintEdge >
	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

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 const std::string &	getName () const

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

virtual const std::string	getSourceLoc () const

const std::string	valueOnlyToString () const

Static Public Member Functions
static bool	classof (const ConstraintNode *)
	Methods for support type inquiry through isa, cast, and dyn_cast:

static bool	classof (const GenericICFGNodeTy *node)

static bool	classof (const SVFValue *node)

Static Public Member Functions inherited from SVF::GenericNode< ConstraintNode, ConstraintEdge >
static bool	classof (const GenericNode< ConstraintNode, ConstraintEdge > *)

static bool	classof (const SVFValue *)

Public Attributes
bool	_isPWCNode

NodeBS	strides
	For stride-based field representation.

NodeBS	baseIds

Private Attributes
ConstraintEdge::ConstraintEdgeSetTy	loadInEdges
	all incoming load edge of this node

ConstraintEdge::ConstraintEdgeSetTy	loadOutEdges
	all outgoing load edge of this node

ConstraintEdge::ConstraintEdgeSetTy	storeInEdges
	all incoming store edge of this node

ConstraintEdge::ConstraintEdgeSetTy	storeOutEdges
	all outgoing store edge of this node

ConstraintEdge::ConstraintEdgeSetTy	directInEdges

ConstraintEdge::ConstraintEdgeSetTy	directOutEdges

ConstraintEdge::ConstraintEdgeSetTy	copyInEdges

ConstraintEdge::ConstraintEdgeSetTy	copyOutEdges

ConstraintEdge::ConstraintEdgeSetTy	gepInEdges

ConstraintEdge::ConstraintEdgeSetTy	gepOutEdges

ConstraintEdge::ConstraintEdgeSetTy	addressInEdges
	all incoming address edge of this node

ConstraintEdge::ConstraintEdgeSetTy	addressOutEdges
	all outgoing address edge of this node

Friends
OutStream &	operator<< (OutStream &o, const ConstraintNode &node)
	Overloading operator << for dumping node.

Additional Inherited Members
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 40 of file ConsGNode.h.

Member Typedef Documentation

◆ const_iterator

typedef ConstraintEdge::ConstraintEdgeSetTy::const_iterator SVF::ConstraintNode::const_iterator

Definition at line 45 of file ConsGNode.h.

◆ iterator

typedef ConstraintEdge::ConstraintEdgeSetTy::iterator SVF::ConstraintNode::iterator

Definition at line 44 of file ConsGNode.h.

Constructor & Destructor Documentation

◆ ConstraintNode()

SVF::ConstraintNode::ConstraintNode ( NodeID i )

inline

Definition at line 74 of file ConsGNode.h.

                             : GenericConsNodeTy(i, ConstraintNodeKd), _isPWCNode(false)
    {
 
    }

Member Function Documentation

◆ addIncomingAddrEdge()

void SVF::ConstraintNode::addIncomingAddrEdge ( AddrCGEdge * inEdge )

inline

Definition at line 247 of file ConsGNode.h.

    {
        addressInEdges.insert(inEdge);
        addIncomingEdge(inEdge);
    }

◆ addIncomingCopyEdge()

void SVF::ConstraintNode::addIncomingCopyEdge ( CopyCGEdge * inEdge )

inline

Add constraint graph edges.

Definition at line 227 of file ConsGNode.h.

    {
        addIncomingDirectEdge(inEdge);
        copyInEdges.insert(inEdge);
    }

◆ addIncomingDirectEdge()

bool SVF::ConstraintNode::addIncomingDirectEdge ( ConstraintEdge * inEdge )

inline

Definition at line 262 of file ConsGNode.h.

    {
        assert(inEdge->getDstID() == this->getId());
        bool added1 = directInEdges.insert(inEdge).second;
        bool added2 = addIncomingEdge(inEdge);
        bool both_added = added1 & added2;
        assert(both_added && "edge not added, duplicated adding!!");
        return both_added;
    }

◆ addIncomingGepEdge()

void SVF::ConstraintNode::addIncomingGepEdge ( GepCGEdge * inEdge )

inline

Definition at line 232 of file ConsGNode.h.

    {
        addIncomingDirectEdge(inEdge);
        gepInEdges.insert(inEdge);
    }

◆ addIncomingLoadEdge()

void SVF::ConstraintNode::addIncomingLoadEdge ( LoadCGEdge * inEdge )

inline

Definition at line 252 of file ConsGNode.h.

    {
        loadInEdges.insert(inEdge);
        addIncomingEdge(inEdge);
    }

◆ addIncomingStoreEdge()

void SVF::ConstraintNode::addIncomingStoreEdge ( StoreCGEdge * inEdge )

inline

Definition at line 257 of file ConsGNode.h.

    {
        storeInEdges.insert(inEdge);
        addIncomingEdge(inEdge);
    }

◆ addOutgoingAddrEdge()

void SVF::ConstraintNode::addOutgoingAddrEdge ( AddrCGEdge * outEdge )

inline

Definition at line 271 of file ConsGNode.h.

    {
        addressOutEdges.insert(outEdge);
        addOutgoingEdge(outEdge);
    }

◆ addOutgoingCopyEdge()

void SVF::ConstraintNode::addOutgoingCopyEdge ( CopyCGEdge * outEdge )

inline

Definition at line 237 of file ConsGNode.h.

    {
        addOutgoingDirectEdge(outEdge);
        copyOutEdges.insert(outEdge);
    }

◆ addOutgoingDirectEdge()

bool SVF::ConstraintNode::addOutgoingDirectEdge ( ConstraintEdge * outEdge )

inline

Definition at line 292 of file ConsGNode.h.

    {
        assert(outEdge->getSrcID() == this->getId());
        bool added1 = directOutEdges.insert(outEdge).second;
        bool added2 = addOutgoingEdge(outEdge);
        bool both_added = added1 & added2;
        assert(both_added && "edge not added, duplicated adding!!");
        return both_added;
    }

◆ addOutgoingGepEdge()

void SVF::ConstraintNode::addOutgoingGepEdge ( GepCGEdge * outEdge )

inline

Definition at line 242 of file ConsGNode.h.

    {
        addOutgoingDirectEdge(outEdge);
        gepOutEdges.insert(outEdge);
    }

◆ addOutgoingLoadEdge()

bool SVF::ConstraintNode::addOutgoingLoadEdge ( LoadCGEdge * outEdge )

inline

Definition at line 276 of file ConsGNode.h.

    {
        bool added1 = loadOutEdges.insert(outEdge).second;
        bool added2 = addOutgoingEdge(outEdge);
        bool both_added = added1 & added2;
        assert(both_added && "edge not added, duplicated adding!!");
        return both_added;
    }

◆ addOutgoingStoreEdge()

bool SVF::ConstraintNode::addOutgoingStoreEdge ( StoreCGEdge * outEdge )

inline

Definition at line 284 of file ConsGNode.h.

    {
        bool added1 = storeOutEdges.insert(outEdge).second;
        bool added2 = addOutgoingEdge(outEdge);
        bool both_added = added1 & added2;
        assert(both_added && "edge not added, duplicated adding!!");
        return both_added;
    }

◆ classof() [1/3]

static bool SVF::ConstraintNode::classof ( const ConstraintNode * )

inlinestatic

Methods for support type inquiry through isa, cast, and dyn_cast:

Definition at line 399 of file ConsGNode.h.

    {
        return true;
    }

◆ classof() [2/3]

static bool SVF::ConstraintNode::classof ( const GenericICFGNodeTy * node )

inlinestatic

Definition at line 404 of file ConsGNode.h.

    {
        return node->getNodeKind() == ConstraintNodeKd;
    }

◆ classof() [3/3]

static bool SVF::ConstraintNode::classof ( const SVFValue * node )

inlinestatic

Definition at line 409 of file ConsGNode.h.

    {
        return node->getNodeKind() == ConstraintNodeKd;
    }

◆ directInEdgeBegin() [1/2]

ConstraintNode::iterator ConstraintNode::directInEdgeBegin ( )

virtual

Reimplemented from SVF::GenericNode< ConstraintNode, ConstraintEdge >.

Definition at line 682 of file ConsG.cpp.

{
    if (Options::DetectPWC())
        return directInEdges.begin();
    else
        return copyInEdges.begin();
}

◆ directInEdgeBegin() [2/2]

ConstraintNode::const_iterator ConstraintNode::directInEdgeBegin ( ) const

virtual

Reimplemented from SVF::GenericNode< ConstraintNode, ConstraintEdge >.

Definition at line 714 of file ConsG.cpp.

{
    if (Options::DetectPWC())
        return directInEdges.begin();
    else
        return copyInEdges.begin();
}

◆ directInEdgeEnd() [1/2]

ConstraintNode::iterator ConstraintNode::directInEdgeEnd ( )

virtual

Reimplemented from SVF::GenericNode< ConstraintNode, ConstraintEdge >.

Definition at line 690 of file ConsG.cpp.

{
    if (Options::DetectPWC())
        return directInEdges.end();
    else
        return copyInEdges.end();
}

◆ directInEdgeEnd() [2/2]

ConstraintNode::const_iterator ConstraintNode::directInEdgeEnd ( ) const

virtual

Reimplemented from SVF::GenericNode< ConstraintNode, ConstraintEdge >.

Definition at line 722 of file ConsG.cpp.

{
    if (Options::DetectPWC())
        return directInEdges.end();
    else
        return copyInEdges.end();
}

◆ directOutEdgeBegin() [1/2]

ConstraintNode::iterator ConstraintNode::directOutEdgeBegin ( )

virtual

Iterators.

Iterators of direct edges for ConsGNode.

Reimplemented from SVF::GenericNode< ConstraintNode, ConstraintEdge >.

Definition at line 666 of file ConsG.cpp.

{
    if (Options::DetectPWC())
        return directOutEdges.begin();
    else
        return copyOutEdges.begin();
}

◆ directOutEdgeBegin() [2/2]

ConstraintNode::const_iterator ConstraintNode::directOutEdgeBegin ( ) const

virtual

Reimplemented from SVF::GenericNode< ConstraintNode, ConstraintEdge >.

Definition at line 698 of file ConsG.cpp.

{
    if (Options::DetectPWC())
        return directOutEdges.begin();
    else
        return copyOutEdges.begin();
}

◆ directOutEdgeEnd() [1/2]

ConstraintNode::iterator ConstraintNode::directOutEdgeEnd ( )

virtual

Reimplemented from SVF::GenericNode< ConstraintNode, ConstraintEdge >.

Definition at line 674 of file ConsG.cpp.

{
    if (Options::DetectPWC())
        return directOutEdges.end();
    else
        return copyOutEdges.end();
}

◆ directOutEdgeEnd() [2/2]

ConstraintNode::const_iterator ConstraintNode::directOutEdgeEnd ( ) const

virtual

Reimplemented from SVF::GenericNode< ConstraintNode, ConstraintEdge >.

Definition at line 706 of file ConsG.cpp.

{
    if (Options::DetectPWC())
        return directOutEdges.end();
    else
        return copyOutEdges.end();
}

◆ getAddrInEdges()

const ConstraintEdge::ConstraintEdgeSetTy & SVF::ConstraintNode::getAddrInEdges ( ) const

inline

Definition at line 143 of file ConsGNode.h.

    {
        return addressInEdges;
    }

◆ getAddrOutEdges()

const ConstraintEdge::ConstraintEdgeSetTy & SVF::ConstraintNode::getAddrOutEdges ( ) const

inline

Definition at line 147 of file ConsGNode.h.

    {
        return addressOutEdges;
    }

◆ getCopyInEdges()

const ConstraintEdge::ConstraintEdgeSetTy & SVF::ConstraintNode::getCopyInEdges ( ) const

inline

Definition at line 111 of file ConsGNode.h.

    {
        return copyInEdges;
    }

◆ getCopyOutEdges()

const ConstraintEdge::ConstraintEdgeSetTy & SVF::ConstraintNode::getCopyOutEdges ( ) const

inline

Definition at line 115 of file ConsGNode.h.

    {
        return copyOutEdges;
    }

◆ getDirectInEdges()

const ConstraintEdge::ConstraintEdgeSetTy & SVF::ConstraintNode::getDirectInEdges ( ) const

inline

Return constraint edges.

Definition at line 103 of file ConsGNode.h.

    {
        return directInEdges;
    }

◆ getDirectOutEdges()

const ConstraintEdge::ConstraintEdgeSetTy & SVF::ConstraintNode::getDirectOutEdges ( ) const

inline

Definition at line 107 of file ConsGNode.h.

    {
        return directOutEdges;
    }

◆ getGepInEdges()

const ConstraintEdge::ConstraintEdgeSetTy & SVF::ConstraintNode::getGepInEdges ( ) const

inline

Definition at line 119 of file ConsGNode.h.

    {
        return gepInEdges;
    }

◆ getGepOutEdges()

const ConstraintEdge::ConstraintEdgeSetTy & SVF::ConstraintNode::getGepOutEdges ( ) const

inline

Definition at line 123 of file ConsGNode.h.

    {
        return gepOutEdges;
    }

◆ getLoadInEdges()

const ConstraintEdge::ConstraintEdgeSetTy & SVF::ConstraintNode::getLoadInEdges ( ) const

inline

Definition at line 127 of file ConsGNode.h.

    {
        return loadInEdges;
    }

◆ getLoadOutEdges()

const ConstraintEdge::ConstraintEdgeSetTy & SVF::ConstraintNode::getLoadOutEdges ( ) const

inline

Definition at line 131 of file ConsGNode.h.

    {
        return loadOutEdges;
    }

◆ getStoreInEdges()

const ConstraintEdge::ConstraintEdgeSetTy & SVF::ConstraintNode::getStoreInEdges ( ) const

inline

Definition at line 135 of file ConsGNode.h.

    {
        return storeInEdges;
    }

◆ getStoreOutEdges()

const ConstraintEdge::ConstraintEdgeSetTy & SVF::ConstraintNode::getStoreOutEdges ( ) const

inline

Definition at line 139 of file ConsGNode.h.

    {
        return storeOutEdges;
    }

◆ incomingAddrEdges()

ConstraintEdge::ConstraintEdgeSetTy & SVF::ConstraintNode::incomingAddrEdges ( )

inline

Definition at line 164 of file ConsGNode.h.

    {
        return addressInEdges;
    }

◆ incomingAddrsBegin()

const_iterator SVF::ConstraintNode::incomingAddrsBegin ( ) const

inline

Definition at line 181 of file ConsGNode.h.

    {
        return addressInEdges.begin();
    }

◆ incomingAddrsEnd()

const_iterator SVF::ConstraintNode::incomingAddrsEnd ( ) const

inline

Definition at line 185 of file ConsGNode.h.

    {
        return addressInEdges.end();
    }

◆ incomingLoadsBegin()

const_iterator SVF::ConstraintNode::incomingLoadsBegin ( ) const

inline

Definition at line 198 of file ConsGNode.h.

    {
        return loadInEdges.begin();
    }

◆ incomingLoadsEnd()

const_iterator SVF::ConstraintNode::incomingLoadsEnd ( ) const

inline

Definition at line 202 of file ConsGNode.h.

    {
        return loadInEdges.end();
    }

◆ incomingStoresBegin()

const_iterator SVF::ConstraintNode::incomingStoresBegin ( ) const

inline

Definition at line 215 of file ConsGNode.h.

    {
        return storeInEdges.begin();
    }

◆ incomingStoresEnd()

const_iterator SVF::ConstraintNode::incomingStoresEnd ( ) const

inline

Definition at line 219 of file ConsGNode.h.

    {
        return storeInEdges.end();
    }

◆ isdirectEdge()

bool SVF::ConstraintNode::isdirectEdge ( ConstraintEdge::ConstraintEdgeK kind )

inline

Direct and Indirect SVFIR edges.

Definition at line 92 of file ConsGNode.h.

    {
        return (kind == ConstraintEdge::Copy || kind == ConstraintEdge::NormalGep || kind == ConstraintEdge::VariantGep );
    }

◆ isIndirectEdge()

bool SVF::ConstraintNode::isIndirectEdge ( ConstraintEdge::ConstraintEdgeK kind )

inline

Definition at line 96 of file ConsGNode.h.

    {
        return (kind == ConstraintEdge::Load || kind == ConstraintEdge::Store);
    }

◆ isPWCNode()

bool SVF::ConstraintNode::isPWCNode ( ) const

inline

Whether a node involves in PWC, if so, all its points-to elements should become field-insensitive.

Definition at line 81 of file ConsGNode.h.

    {
        return _isPWCNode;
    }

◆ outgoingAddrEdges()

ConstraintEdge::ConstraintEdgeSetTy & SVF::ConstraintNode::outgoingAddrEdges ( )

inline

Definition at line 168 of file ConsGNode.h.

    {
        return addressOutEdges;
    }

◆ outgoingAddrsBegin()

const_iterator SVF::ConstraintNode::outgoingAddrsBegin ( ) const

inline

Definition at line 173 of file ConsGNode.h.

    {
        return addressOutEdges.begin();
    }

◆ outgoingAddrsEnd()

const_iterator SVF::ConstraintNode::outgoingAddrsEnd ( ) const

inline

Definition at line 177 of file ConsGNode.h.

    {
        return addressOutEdges.end();
    }

◆ outgoingLoadsBegin()

const_iterator SVF::ConstraintNode::outgoingLoadsBegin ( ) const

inline

Definition at line 190 of file ConsGNode.h.

    {
        return loadOutEdges.begin();
    }

◆ outgoingLoadsEnd()

const_iterator SVF::ConstraintNode::outgoingLoadsEnd ( ) const

inline

Definition at line 194 of file ConsGNode.h.

    {
        return loadOutEdges.end();
    }

◆ outgoingStoresBegin()

const_iterator SVF::ConstraintNode::outgoingStoresBegin ( ) const

inline

Definition at line 207 of file ConsGNode.h.

    {
        return storeOutEdges.begin();
    }

◆ outgoingStoresEnd()

const_iterator SVF::ConstraintNode::outgoingStoresEnd ( ) const

inline

Definition at line 211 of file ConsGNode.h.

    {
        return storeOutEdges.end();
    }

◆ removeIncomingAddrEdge()

bool SVF::ConstraintNode::removeIncomingAddrEdge ( AddrCGEdge * inEdge )

inline

Definition at line 314 of file ConsGNode.h.

    {
        u32_t num1 = addressInEdges.erase(inEdge);
        u32_t num2 = removeIncomingEdge(inEdge);
        bool removed = (num1 > 0) & (num2 > 0);
        assert(removed && "edge not in the set, can not remove!!!");
        return removed;
    }

◆ removeIncomingDirectEdge()

bool SVF::ConstraintNode::removeIncomingDirectEdge ( ConstraintEdge * inEdge )

inline

Definition at line 336 of file ConsGNode.h.

    {
        if (SVFUtil::isa<GepCGEdge>(inEdge))
            gepInEdges.erase(inEdge);
        else
            copyInEdges.erase(inEdge);
        u32_t num1 = directInEdges.erase(inEdge);
        u32_t num2 = removeIncomingEdge(inEdge);
        bool removed = (num1 > 0) & (num2 > 0);
        assert(removed && "edge not in the set, can not remove!!!");
        return removed;
    }

◆ removeIncomingLoadEdge()

bool SVF::ConstraintNode::removeIncomingLoadEdge ( LoadCGEdge * inEdge )

inline

Definition at line 358 of file ConsGNode.h.

    {
        u32_t num1 = loadInEdges.erase(inEdge);
        u32_t num2 = removeIncomingEdge(inEdge);
        bool removed = (num1 > 0) & (num2 > 0);
        assert(removed && "edge not in the set, can not remove!!!");
        return removed;
    }

◆ removeIncomingStoreEdge()

bool SVF::ConstraintNode::removeIncomingStoreEdge ( StoreCGEdge * inEdge )

inline

Definition at line 376 of file ConsGNode.h.

    {
        u32_t num1 = storeInEdges.erase(inEdge);
        u32_t num2 = removeIncomingEdge(inEdge);
        bool removed = (num1 > 0) & (num2 > 0);
        assert(removed && "edge not in the set, can not remove!!!");
        return removed;
    }

◆ removeOutgoingAddrEdge()

bool SVF::ConstraintNode::removeOutgoingAddrEdge ( AddrCGEdge * outEdge )

inline

Remove constraint graph edges.

Definition at line 305 of file ConsGNode.h.

    {
        u32_t num1 = addressOutEdges.erase(outEdge);
        u32_t num2 = removeOutgoingEdge(outEdge);
        bool removed = (num1 > 0) & (num2 > 0);
        assert(removed && "edge not in the set, can not remove!!!");
        return removed;
    }

◆ removeOutgoingDirectEdge()

bool SVF::ConstraintNode::removeOutgoingDirectEdge ( ConstraintEdge * outEdge )

inline

Definition at line 323 of file ConsGNode.h.

    {
        if (SVFUtil::isa<GepCGEdge>(outEdge))
            gepOutEdges.erase(outEdge);
        else
            copyOutEdges.erase(outEdge);
        u32_t num1 = directOutEdges.erase(outEdge);
        u32_t num2 = removeOutgoingEdge(outEdge);
        bool removed = (num1 > 0) & (num2 > 0);
        assert(removed && "edge not in the set, can not remove!!!");
        return removed;
    }

◆ removeOutgoingLoadEdge()

bool SVF::ConstraintNode::removeOutgoingLoadEdge ( LoadCGEdge * outEdge )

inline

Definition at line 349 of file ConsGNode.h.

    {
        u32_t num1 = loadOutEdges.erase(outEdge);
        u32_t num2 = removeOutgoingEdge(outEdge);
        bool removed = (num1 > 0) & (num2 > 0);
        assert(removed && "edge not in the set, can not remove!!!");
        return removed;
    }

◆ removeOutgoingStoreEdge()

bool SVF::ConstraintNode::removeOutgoingStoreEdge ( StoreCGEdge * outEdge )

inline

Definition at line 367 of file ConsGNode.h.

    {
        u32_t num1 = storeOutEdges.erase(outEdge);
        u32_t num2 = removeOutgoingEdge(outEdge);
        bool removed = (num1 > 0) & (num2 > 0);
        assert(removed && "edge not in the set, can not remove!!!");
        return removed;
    }

◆ setPWCNode()

void SVF::ConstraintNode::setPWCNode ( )

inline

Definition at line 85 of file ConsGNode.h.

    {
        _isPWCNode = true;
    }

◆ toString()

const std::string ConstraintNode::toString ( ) const

virtual

Definition at line 731 of file ConsG.cpp.

{
    return SVFIR::getPAG()->getGNode(getId())->toString();
}

Friends And Related Symbol Documentation

◆ operator<<

OutStream & operator<<	(	OutStream &	o,
		const ConstraintNode &	node
	)

friend

Overloading operator << for dumping node.

Definition at line 390 of file ConsGNode.h.

    {
        o << node.toString();
        return o;
    }

Member Data Documentation

◆ _isPWCNode

bool SVF::ConstraintNode::_isPWCNode

Definition at line 46 of file ConsGNode.h.

◆ addressInEdges

ConstraintEdge::ConstraintEdgeSetTy SVF::ConstraintNode::addressInEdges

private

all incoming address edge of this node

Definition at line 66 of file ConsGNode.h.

◆ addressOutEdges

ConstraintEdge::ConstraintEdgeSetTy SVF::ConstraintNode::addressOutEdges

private

all outgoing address edge of this node

Definition at line 67 of file ConsGNode.h.

◆ baseIds

NodeBS SVF::ConstraintNode::baseIds

Definition at line 72 of file ConsGNode.h.

◆ copyInEdges

ConstraintEdge::ConstraintEdgeSetTy SVF::ConstraintNode::copyInEdges

private

Definition at line 60 of file ConsGNode.h.

◆ copyOutEdges

ConstraintEdge::ConstraintEdgeSetTy SVF::ConstraintNode::copyOutEdges

private

Definition at line 61 of file ConsGNode.h.

◆ directInEdges

ConstraintEdge::ConstraintEdgeSetTy SVF::ConstraintNode::directInEdges

private

Copy/call/ret/gep incoming edge of this node, To be noted: this set is only used when SCC detection, and node merges

Definition at line 57 of file ConsGNode.h.

◆ directOutEdges

ConstraintEdge::ConstraintEdgeSetTy SVF::ConstraintNode::directOutEdges

private

Definition at line 58 of file ConsGNode.h.

◆ gepInEdges

ConstraintEdge::ConstraintEdgeSetTy SVF::ConstraintNode::gepInEdges

private

Definition at line 63 of file ConsGNode.h.

◆ gepOutEdges

ConstraintEdge::ConstraintEdgeSetTy SVF::ConstraintNode::gepOutEdges

private

Definition at line 64 of file ConsGNode.h.

◆ loadInEdges

ConstraintEdge::ConstraintEdgeSetTy SVF::ConstraintNode::loadInEdges

private

all incoming load edge of this node

Definition at line 49 of file ConsGNode.h.

◆ loadOutEdges

ConstraintEdge::ConstraintEdgeSetTy SVF::ConstraintNode::loadOutEdges

private

all outgoing load edge of this node

Definition at line 50 of file ConsGNode.h.

◆ storeInEdges

ConstraintEdge::ConstraintEdgeSetTy SVF::ConstraintNode::storeInEdges

private

all incoming store edge of this node

Definition at line 52 of file ConsGNode.h.

◆ storeOutEdges

ConstraintEdge::ConstraintEdgeSetTy SVF::ConstraintNode::storeOutEdges

private

all outgoing store edge of this node

Definition at line 53 of file ConsGNode.h.

◆ strides

NodeBS SVF::ConstraintNode::strides

For stride-based field representation.

Definition at line 71 of file ConsGNode.h.

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

/home/runner/work/SVF/SVF/svf/include/Graphs/ConsGNode.h
/home/runner/work/SVF/SVF/svf/lib/Graphs/ConsG.cpp

Public Types

Public Member Functions

Static Public Member Functions

Public Attributes

Private Attributes

Friends

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ const_iterator

◆ iterator

Constructor & Destructor Documentation

◆ ConstraintNode()

Member Function Documentation

◆ addIncomingAddrEdge()

◆ addIncomingCopyEdge()

◆ addIncomingDirectEdge()

◆ addIncomingGepEdge()

◆ addIncomingLoadEdge()

◆ addIncomingStoreEdge()

◆ addOutgoingAddrEdge()

◆ addOutgoingCopyEdge()

◆ addOutgoingDirectEdge()

◆ addOutgoingGepEdge()

◆ addOutgoingLoadEdge()

◆ addOutgoingStoreEdge()

◆ classof() [1/3]

◆ classof() [2/3]

◆ classof() [3/3]

◆ directInEdgeBegin() [1/2]

◆ directInEdgeBegin() [2/2]

◆ directInEdgeEnd() [1/2]

◆ directInEdgeEnd() [2/2]

◆ directOutEdgeBegin() [1/2]

◆ directOutEdgeBegin() [2/2]

◆ directOutEdgeEnd() [1/2]

◆ directOutEdgeEnd() [2/2]

◆ getAddrInEdges()

◆ getAddrOutEdges()

◆ getCopyInEdges()

◆ getCopyOutEdges()

◆ getDirectInEdges()

◆ getDirectOutEdges()

◆ getGepInEdges()

◆ getGepOutEdges()

◆ getLoadInEdges()

◆ getLoadOutEdges()

◆ getStoreInEdges()

◆ getStoreOutEdges()

◆ incomingAddrEdges()

◆ incomingAddrsBegin()

◆ incomingAddrsEnd()

◆ incomingLoadsBegin()

◆ incomingLoadsEnd()

◆ incomingStoresBegin()

◆ incomingStoresEnd()

◆ isdirectEdge()

◆ isIndirectEdge()

◆ isPWCNode()

◆ outgoingAddrEdges()

◆ outgoingAddrsBegin()

◆ outgoingAddrsEnd()

◆ outgoingLoadsBegin()

◆ outgoingLoadsEnd()

◆ outgoingStoresBegin()

◆ outgoingStoresEnd()

◆ removeIncomingAddrEdge()

◆ removeIncomingDirectEdge()

◆ removeIncomingLoadEdge()

◆ removeIncomingStoreEdge()

◆ removeOutgoingAddrEdge()

◆ removeOutgoingDirectEdge()

◆ removeOutgoingLoadEdge()

◆ removeOutgoingStoreEdge()

◆ setPWCNode()

◆ toString()

Friends And Related Symbol Documentation

◆ operator<<

Member Data Documentation

◆ _isPWCNode