#include <PAGNode.h>

Inheritance diagram for SVF::GepValPN:

Public Member Functions
	GepValPN (const Value val, NodeID i, const LocationSet &l, const Type ty, u32_t idx)
	Constructor. More...

u32_t	getOffset () const
	offset of the base value node More...

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

const Type *	getType () const
	Return type of the value. More...

u32_t	getFieldIdx () const

virtual const std::string	toString () const

Public Member Functions inherited from SVF::ValPN
	ValPN (const Value *val, NodeID i, PNODEK ty=ValNode)
	Constructor. 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 GepValPN *)
	Methods for support type inquiry through isa, cast, and dyn_cast: More...

static bool	classof (const ValPN *node)

static bool	classof (const PAGNode *node)

static bool	classof (const GenericPAGNodeTy *node)

Static Public Member Functions inherited from SVF::ValPN
static bool	classof (const ValPN *)
	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

const Type *	gepValType

u32_t	fieldIdx

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 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 386 of file PAGNode.h.

Constructor & Destructor Documentation

◆ GepValPN()

SVF::GepValPN::GepValPN	(	const Value *	val,
		NodeID	i,
		const LocationSet &	l,
		const Type *	ty,
		u32_t	idx
	)

inline

Constructor.

Definition at line 416 of file PAGNode.h.

                                                                                           :
         ValPN(val, i, GepValNode), ls(l), gepValType(ty), fieldIdx(idx)
     {
     }

Member Function Documentation

◆ classof() [1/4]

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

inlinestatic

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

Definition at line 397 of file PAGNode.h.

     {
         return true;
     }

◆ classof() [2/4]

static bool SVF::GepValPN::classof ( const ValPN * node )

inlinestatic

Definition at line 401 of file PAGNode.h.

     {
         return node->getNodeKind() == PAGNode::GepValNode;
     }

◆ classof() [3/4]

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

inlinestatic

Definition at line 405 of file PAGNode.h.

     {
         return node->getNodeKind() == PAGNode::GepValNode;
     }

◆ classof() [4/4]

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

inlinestatic

Definition at line 409 of file PAGNode.h.

     {
         return node->getNodeKind() == PAGNode::GepValNode;
     }

◆ getFieldIdx()

u32_t SVF::GepValPN::getFieldIdx ( ) const

inline

Definition at line 440 of file PAGNode.h.

     {
         return fieldIdx;
     }

◆ getOffset()

u32_t SVF::GepValPN::getOffset ( ) const

inline

offset of the base value node

Definition at line 422 of file PAGNode.h.

     {
         return ls.getOffset();
     }

◆ getType()

const Type* SVF::GepValPN::getType ( ) const

inlinevirtual

Return type of the value.

Reimplemented from SVF::PAGNode.

Definition at line 435 of file PAGNode.h.

     {
         return gepValType;
     }

◆ getValueName()

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

inlinevirtual

Return name of a LLVM value.

Reimplemented from SVF::ValPN.

Definition at line 428 of file PAGNode.h.

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

◆ toString()

const std::string GepValPN::toString ( ) const

virtual

Reimplemented from SVF::ValPN.

Definition at line 118 of file PAG.cpp.

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

Member Data Documentation

◆ fieldIdx

u32_t SVF::GepValPN::fieldIdx

private

Definition at line 392 of file PAGNode.h.

◆ gepValType

const Type* SVF::GepValPN::gepValType

private

Definition at line 391 of file PAGNode.h.

◆ ls

LocationSet SVF::GepValPN::ls

private

Definition at line 390 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

◆ GepValPN()

Member Function Documentation

◆ classof() [1/4]

◆ classof() [2/4]

◆ classof() [3/4]

◆ classof() [4/4]

◆ getFieldIdx()

◆ getOffset()

◆ getType()

◆ getValueName()

◆ toString()

Member Data Documentation

◆ fieldIdx

◆ gepValType

◆ ls