SVF::ConstraintNode Class Reference

#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 , ConstDataValNode , BlackHoleValNode , ConstFPValNode ,   ConstIntValNode , ConstNullptrValNode , DummyValNode , IntrinsicValNode ,   AsmPCValNode , ObjNode , GepObjNode , BaseObjNode ,   FunObjNode , HeapObjNode , StackObjNode , GlobalObjNode ,   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 ,   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.
bool	hasOutgoingEdge () const
iterator	OutEdgeBegin ()
	iterators
iterator	OutEdgeEnd ()
iterator	InEdgeBegin ()
iterator	InEdgeEnd ()
const_iterator	OutEdgeBegin () const
const_iterator	OutEdgeEnd () const
const_iterator	InEdgeBegin () const
const_iterator	InEdgeEnd () const
bool	addIncomingEdge (EdgeType *inEdge)
	Add incoming and outgoing edges.
bool	addOutgoingEdge (EdgeType *outEdge)
EdgeType *	hasIncomingEdge (EdgeType *edge) const
	Find incoming and outgoing edges.
EdgeType *	hasOutgoingEdge (EdgeType *edge) const
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
const bool	hasLLVMValue () 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]

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]

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

inlinestatic

Definition at line 404 of file ConsGNode.h.

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

classof() [3/3]

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 686 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 718 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 694 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 726 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 670 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 702 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 678 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 710 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 735 of file ConsG.cpp.

{
    return SVFIR::getPAG()->getSVFVar(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