#include <PAGNode.h>

Inheritance diagram for SVF::GepObjPN:

Public Member Functions
	GepObjPN (const MemObj *mem, NodeID i, const LocationSet &l, PNODEK ty=GepObjNode)
	Constructor. More...

const LocationSet &	getLocationSet () const
	offset of the mem object More...

void	setBaseNode (NodeID base)
	Set the base object from which this GEP node came from. More...

NodeID	getBaseNode (void) const
	Return the base object from which this GEP node came from. More...

virtual const llvm::Type *	getType () const
	Return the type of this gep object. More...

const std::string	getValueName () const
	Return name of a LLVM value. More...

virtual const std::string	toString () const

Public Member Functions inherited from SVF::ObjPN
const MemObj *	getMemObj () const
	Return memory object. More...

Public Member Functions inherited from SVF::PAGNode
	PAGNode (const Value *val, NodeID i, PNODEK k)
	address-taken pointer More...

virtual	~PAGNode ()
	Destructor. More...

const Value *	getValue () const
	Get/has methods of the components. More...

bool	hasValue () const

virtual bool	isPointer () const
	Whether it is a pointer. More...

bool	isTopLevelPtr () const
	Whether it is a top-level pointer. More...

bool	isAddressTakenPtr () const
	Whether it is an address-taken pointer. More...

bool	isConstantData () const

bool	isIsolatedNode () const
	Whether this is an isoloated node on the PAG graph. More...

virtual const Function *	getFunction () const
	Return the function that this PAGNode resides in. Return nullptr if it is a global or constantexpr node. More...

PAGEdge::PAGEdgeSetTy &	getIncomingEdges (PAGEdge::PEDGEK kind)
	Get incoming PAG edges. More...

PAGEdge::PAGEdgeSetTy &	getOutgoingEdges (PAGEdge::PEDGEK kind)
	Get outgoing PAG edges. More...

bool	hasIncomingEdges (PAGEdge::PEDGEK kind) const
	Has incoming PAG edges. More...

bool	hasIncomingVariantGepEdge () const
	Has incoming VariantGepEdges. More...

PAGEdge::PAGEdgeSetTy::iterator	getIncomingEdgesBegin (PAGEdge::PEDGEK kind) const
	Get incoming PAGEdge iterator. More...

PAGEdge::PAGEdgeSetTy::iterator	getIncomingEdgesEnd (PAGEdge::PEDGEK kind) const
	Get incoming PAGEdge iterator. More...

bool	hasOutgoingEdges (PAGEdge::PEDGEK kind) const
	Has outgoing PAG edges. More...

PAGEdge::PAGEdgeSetTy::iterator	getOutgoingEdgesBegin (PAGEdge::PEDGEK kind) const
	Get outgoing PAGEdge iterator. More...

PAGEdge::PAGEdgeSetTy::iterator	getOutgoingEdgesEnd (PAGEdge::PEDGEK kind) const
	Get outgoing PAGEdge iterator. More...

void	addInEdge (PAGEdge *inEdge)
	add methods of the components More...

void	addOutEdge (PAGEdge *outEdge)

virtual const std::string	getNodeAttrForDotDisplay () const
	Get shape and/or color of node for .dot display. More...

void	dump () const
	Dump to console for debugging. More...

Public Member Functions inherited from SVF::GenericNode< NodeTy, EdgeTy >
	GenericNode (NodeID i, GNodeK k)
	Constructor. More...

virtual	~GenericNode ()
	Destructor. More...

NodeID	getId () const
	Get ID. More...

GNodeK	getNodeKind () const
	Get node kind. More...

const GEdgeSetTy &	getOutEdges () const

const GEdgeSetTy &	getInEdges () const

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

bool	hasOutgoingEdge () const

iterator	OutEdgeBegin ()
	iterators More...

iterator	OutEdgeEnd ()

iterator	InEdgeBegin ()

iterator	InEdgeEnd ()

const_iterator	OutEdgeBegin () const

const_iterator	OutEdgeEnd () const

const_iterator	InEdgeBegin () const

const_iterator	InEdgeEnd () const

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

virtual iterator	directOutEdgeEnd ()

virtual iterator	directInEdgeBegin ()

virtual iterator	directInEdgeEnd ()

virtual const_iterator	directOutEdgeBegin () const

virtual const_iterator	directOutEdgeEnd () const

virtual const_iterator	directInEdgeBegin () const

virtual const_iterator	directInEdgeEnd () const

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

bool	addOutgoingEdge (EdgeType *outEdge)

Size_t	removeIncomingEdge (EdgeType *edge)

Size_t	removeOutgoingEdge (EdgeType *edge)

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

EdgeType *	hasOutgoingEdge (EdgeType *edge) const

Static Public Member Functions

static bool	classof (const GepObjPN *)
	Methods for support type inquiry through isa, cast, and dyn_cast: More...

static bool	classof (const ObjPN *node)

static bool	classof (const PAGNode *node)

static bool	classof (const GenericPAGNodeTy *node)

Static Public Member Functions inherited from SVF::ObjPN
static bool	classof (const ObjPN *)
	Methods for support type inquiry through isa, cast, and dyn_cast: More...

static bool	classof (const PAGNode *node)

static bool	classof (const GenericPAGNodeTy *node)

Private Attributes
LocationSet	ls

NodeID	base = 0

Additional Inherited Members
Public Types inherited from SVF::PAGNode
enum	PNODEK { ValNode, ObjNode, RetNode, VarargNode, GepValNode, GepObjNode, FIObjNode, DummyValNode, DummyObjNode, CloneGepObjNode, CloneFIObjNode, CloneDummyObjNode }

Public Types inherited from SVF::GenericNode< NodeTy, EdgeTy >
typedef NodeTy	NodeType

typedef EdgeTy	EdgeType

typedef s32_t	GNodeK
	Edge kind. More...

typedef OrderedSet< EdgeType *, typename EdgeType::equalGEdge >	GEdgeSetTy

typedef GEdgeSetTy::iterator	iterator

typedef GEdgeSetTy::const_iterator	const_iterator

Protected Member Functions inherited from SVF::ObjPN
	ObjPN (const Value val, NodeID i, const MemObj m, PNODEK ty=ObjNode)
	Constructor. More...

Protected Attributes inherited from SVF::ObjPN
const MemObj *	mem

Protected Attributes inherited from SVF::PAGNode
const Value *	value
	value of this PAG node More...

PAGEdge::PAGKindToEdgeSetMapTy	InEdgeKindToSetMap

PAGEdge::PAGKindToEdgeSetMapTy	OutEdgeKindToSetMap

bool	isTLPointer

bool	isATPointer
	top-level pointer More...

Detailed Description

Definition at line 453 of file PAGNode.h.

Constructor & Destructor Documentation

◆ GepObjPN()

SVF::GepObjPN::GepObjPN	(	const MemObj *	mem,
		NodeID	i,
		const LocationSet &	l,
		PNODEK	ty = `GepObjNode`
	)

inline

Constructor.

Definition at line 484 of file PAGNode.h.

                                                                                         :
         ObjPN(mem->getRefVal(), i, mem, ty), ls(l)
     {
         base = mem->getSymId();
     }

Member Function Documentation

◆ classof() [1/4]

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

inlinestatic

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

Definition at line 462 of file PAGNode.h.

     {
         return true;
     }

◆ classof() [2/4]

static bool SVF::GepObjPN::classof ( const ObjPN * node )

inlinestatic

Definition at line 466 of file PAGNode.h.

     {
         return node->getNodeKind() == PAGNode::GepObjNode
                || node->getNodeKind() == PAGNode::CloneGepObjNode;
     }

◆ classof() [3/4]

static bool SVF::GepObjPN::classof ( const PAGNode * node )

inlinestatic

Definition at line 471 of file PAGNode.h.

     {
         return node->getNodeKind() == PAGNode::GepObjNode
                || node->getNodeKind() == PAGNode::CloneGepObjNode;
     }

◆ classof() [4/4]

static bool SVF::GepObjPN::classof ( const GenericPAGNodeTy * node )

inlinestatic

Definition at line 476 of file PAGNode.h.

     {
         return node->getNodeKind() == PAGNode::GepObjNode
                || node->getNodeKind() == PAGNode::CloneGepObjNode;
     }

◆ getBaseNode()

NodeID SVF::GepObjPN::getBaseNode ( void ) const

inline

Return the base object from which this GEP node came from.

Definition at line 503 of file PAGNode.h.

     {
         return base;
     }

◆ getLocationSet()

const LocationSet& SVF::GepObjPN::getLocationSet ( ) const

inline

offset of the mem object

Definition at line 491 of file PAGNode.h.

     {
         return ls;
     }

◆ getType()

virtual const llvm::Type* SVF::GepObjPN::getType ( ) const

inlinevirtual

Return the type of this gep object.

Reimplemented from SVF::ObjPN.

Definition at line 509 of file PAGNode.h.

     {
         return SymbolTableInfo::SymbolInfo()->getOrigSubTypeWithByteOffset(mem->getType(), ls.getByteOffset());
     }

◆ getValueName()

const std::string SVF::GepObjPN::getValueName ( ) const

inlinevirtual

Return name of a LLVM value.

Reimplemented from SVF::ObjPN.

Reimplemented in SVF::CloneGepObjPN.

Definition at line 515 of file PAGNode.h.

     {
         if (value && value->hasName())
             return value->getName().str() + "_" + llvm::itostr(ls.getOffset());
         return "offset_" + llvm::itostr(ls.getOffset());
     }

◆ setBaseNode()

void SVF::GepObjPN::setBaseNode ( NodeID base )

inline

Set the base object from which this GEP node came from.

Definition at line 497 of file PAGNode.h.

     {
         this->base = base;
     }

◆ toString()

const std::string GepObjPN::toString ( ) const

virtual

Reimplemented from SVF::ObjPN.

Reimplemented in SVF::CloneGepObjPN.

Definition at line 129 of file PAG.cpp.

                                          {
     std::string str;
     raw_string_ostream rawstr(str);
     rawstr << "GepObjPN ID: " << getId() << " with offset_" + llvm::itostr(ls.getOffset());
     if (Options::PAGDotGraphShorter) {
         rawstr << "\n";
     }
     rawstr << value2String(value);
     return rawstr.str();
 }

Member Data Documentation

◆ base

NodeID SVF::GepObjPN::base = 0

private

Definition at line 457 of file PAGNode.h.

◆ ls

LocationSet SVF::GepObjPN::ls

private

Definition at line 456 of file PAGNode.h.

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

/home/runner/work/SVF-1/SVF-1/include/Graphs/PAGNode.h
/home/runner/work/SVF-1/SVF-1/lib/Graphs/PAG.cpp

Public Member Functions

Static Public Member Functions

Private Attributes

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ GepObjPN()

Member Function Documentation

◆ classof() [1/4]

◆ classof() [2/4]

◆ classof() [3/4]

◆ classof() [4/4]

◆ getBaseNode()

◆ getLocationSet()

◆ getType()

◆ getValueName()

◆ setBaseNode()

◆ toString()

Member Data Documentation

◆ base

◆ ls