SVF::AssignStmt Class Reference

#include <SVFStatements.h>

Inheritance diagram for SVF::AssignStmt:

Public Member Functions
SVFVar *	getRHSVar () const
SVFVar *	getLHSVar () const
NodeID	getRHSVarID () const
NodeID	getLHSVarID () const
virtual const std::string	toString () const =0
Public Member Functions inherited from SVF::SVFStmt
	SVFStmt (SVFVar *s, SVFVar *d, GEdgeFlag k, bool real=true)
	Constructor.
	~SVFStmt ()
	Destructor.
EdgeID	getEdgeID () const
	Return Edge ID.
bool	isPTAEdge () const
	Whether src and dst nodes are both of pointer type.
const SVFInstruction *	getInst () const
	Get/set methods for llvm instruction.
void	setValue (const SVFValue *val)
const SVFValue *	getValue () const
void	setBB (const SVFBasicBlock *bb)
const SVFBasicBlock *	getBB () const
void	setICFGNode (ICFGNode *node)
ICFGNode *	getICFGNode () const
Public Member Functions inherited from SVF::GenericEdge< NodeTy >
	GenericEdge (NodeTy *s, NodeTy *d, GEdgeFlag k)
	Constructor.
virtual	~GenericEdge ()
	Destructor.
NodeID	getSrcID () const
	get methods of the components
NodeID	getDstID () const
GEdgeKind	getEdgeKind () const
GEdgeKind	getEdgeKindWithoutMask () const
NodeType *	getSrcNode () const
NodeType *	getDstNode () const
virtual bool	operator== (const GenericEdge< NodeType > *rhs) const

Static Public Member Functions
static bool	classof (const AssignStmt *)
	Methods for support type inquiry through isa, cast, and dyn_cast:
static bool	classof (const SVFStmt *edge)
static bool	classof (const GenericPAGEdgeTy *edge)
Static Public Member Functions inherited from SVF::SVFStmt
static bool	classof (const SVFStmt *)
	ClassOf.
static bool	classof (const GenericPAGEdgeTy *edge)
static GEdgeFlag	makeEdgeFlagWithAddionalOpnd (GEdgeKind k, const SVFVar *var)
static GEdgeFlag	makeEdgeFlagWithCallInst (GEdgeKind k, const ICFGNode *cs)
static GEdgeFlag	makeEdgeFlagWithStoreInst (GEdgeKind k, const ICFGNode *store)

Protected Member Functions
	AssignStmt (SVFVar *s, SVFVar *d, GEdgeFlag k)
	constructor
	AssignStmt (GEdgeFlag k)
	Constructor to create empty AssignStmt (for SVFIRReader/serialization)
Protected Member Functions inherited from SVF::SVFStmt
	SVFStmt (GEdgeFlag k)
	Private constructor for reading SVFIR from file without side-effect.

Private Member Functions
	AssignStmt ()
	place holder
	AssignStmt (const AssignStmt &)
	place holder
void	operator= (const AssignStmt &)
	place holder
SVFVar *	getSrcNode ()
	not allowed, use getRHSVar() instead
SVFVar *	getDstNode ()
	not allowed, use getLHSVar() instead
NodeID	getSrcID ()
	not allowed, use getRHSVarID() instead
NodeID	getDstID ()
	not allowed, use getLHSVarID() instead

Friends
class	SVFIRWriter
class	SVFIRReader

Additional Inherited Members
Public Types inherited from SVF::SVFStmt
enum	PEDGEK {   Addr , Copy , Store , Load ,   Call , Ret , Gep , Phi ,   Select , Cmp , BinaryOp , UnaryOp ,   Branch , ThreadFork , ThreadJoin }
typedef GenericNode< SVFVar, SVFStmt >::GEdgeSetTy	SVFStmtSetTy
typedef Map< EdgeID, SVFStmtSetTy >	PAGEdgeToSetMapTy
typedef PAGEdgeToSetMapTy	KindToSVFStmtMapTy
typedef SVFStmtSetTy	PAGEdgeSetTy
Public Types inherited from SVF::GenericEdge< NodeTy >
typedef NodeTy	NodeType
	Node type.
typedef u64_t	GEdgeFlag
typedef s64_t	GEdgeKind
typedef struct SVF::GenericEdge::equalGEdge	equalGEdge
	Add the hash function for std::set (we also can overload operator< to implement this)
Static Public Attributes inherited from SVF::SVFStmt
static u32_t	totalEdgeNum
	Total edge number.
Static Protected Attributes inherited from SVF::GenericEdge< NodeTy >
static constexpr unsigned char	EdgeKindMaskBits = 8
	We use the lower 8 bits to denote edge kind.
static constexpr u64_t	EdgeKindMask = (~0ULL) >> (64 - EdgeKindMaskBits)

Detailed Description

Definition at line 237 of file SVFStatements.h.

Constructor & Destructor Documentation

AssignStmt() [1/4]

SVF::AssignStmt::AssignStmt ( )

private

place holder

AssignStmt() [2/4]

SVF::AssignStmt::AssignStmt ( const AssignStmt &  )

private

place holder

AssignStmt() [3/4]

SVF::AssignStmt::AssignStmt ( SVFVar *  s, SVFVar *  d, GEdgeFlag  k  )

inlineprotected

constructor

Definition at line 253 of file SVFStatements.h.

: SVFStmt(s, d, k) {}

AssignStmt() [4/4]

SVF::AssignStmt::AssignStmt ( GEdgeFlag  k )

inlineprotected

Constructor to create empty AssignStmt (for SVFIRReader/serialization)

Definition at line 255 of file SVFStatements.h.

: SVFStmt(k) {}

Member Function Documentation

classof() [1/3]

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

inlinestatic

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

Definition at line 260 of file SVFStatements.h.

    {
        return true;
    }

classof() [2/3]

static bool SVF::AssignStmt::classof ( const GenericPAGEdgeTy *  edge )

inlinestatic

Definition at line 276 of file SVFStatements.h.

    {
        return edge->getEdgeKind() == SVFStmt::Addr ||
               edge->getEdgeKind() == SVFStmt::Copy ||
               edge->getEdgeKind() == SVFStmt::Store ||
               edge->getEdgeKind() == SVFStmt::Load ||
               edge->getEdgeKind() == SVFStmt::Call ||
               edge->getEdgeKind() == SVFStmt::Ret ||
               edge->getEdgeKind() == SVFStmt::Gep ||
               edge->getEdgeKind() == SVFStmt::ThreadFork ||
               edge->getEdgeKind() == SVFStmt::ThreadJoin;
    }

classof() [3/3]

static bool SVF::AssignStmt::classof ( const SVFStmt *  edge )

inlinestatic

Definition at line 264 of file SVFStatements.h.

    {
        return edge->getEdgeKind() == SVFStmt::Addr ||
               edge->getEdgeKind() == SVFStmt::Copy ||
               edge->getEdgeKind() == SVFStmt::Store ||
               edge->getEdgeKind() == SVFStmt::Load ||
               edge->getEdgeKind() == SVFStmt::Call ||
               edge->getEdgeKind() == SVFStmt::Ret ||
               edge->getEdgeKind() == SVFStmt::Gep ||
               edge->getEdgeKind() == SVFStmt::ThreadFork ||
               edge->getEdgeKind() == SVFStmt::ThreadJoin;
    }

getDstID()

NodeID SVF::AssignStmt::getDstID ( )

private

not allowed, use getLHSVarID() instead

getDstNode()

SVFVar * SVF::AssignStmt::getDstNode ( )

private

not allowed, use getLHSVar() instead

getLHSVar()

SVFVar * SVF::AssignStmt::getLHSVar ( ) const

inline

Definition at line 294 of file SVFStatements.h.

    {
        return SVFStmt::getDstNode();
    }

getLHSVarID()

NodeID SVF::AssignStmt::getLHSVarID ( ) const

inline

Definition at line 302 of file SVFStatements.h.

    {
        return SVFStmt::getDstID();
    }

getRHSVar()

SVFVar * SVF::AssignStmt::getRHSVar ( ) const

inline

Definition at line 290 of file SVFStatements.h.

    {
        return SVFStmt::getSrcNode();
    }

getRHSVarID()

NodeID SVF::AssignStmt::getRHSVarID ( ) const

inline

Definition at line 298 of file SVFStatements.h.

    {
        return SVFStmt::getSrcID();
    }

getSrcID()

NodeID SVF::AssignStmt::getSrcID ( )

private

not allowed, use getRHSVarID() instead

getSrcNode()

SVFVar * SVF::AssignStmt::getSrcNode ( )

private

not allowed, use getRHSVar() instead

operator=()

void SVF::AssignStmt::operator= ( const AssignStmt &  )

private

place holder

toString()

virtual const std::string SVF::AssignStmt::toString ( ) const

pure virtual

Reimplemented from SVF::SVFStmt.

Implemented in SVF::GepStmt, SVF::TDForkPE, SVF::TDJoinPE, SVF::AddrStmt, SVF::CopyStmt, SVF::StoreStmt, SVF::LoadStmt, SVF::CallPE, and SVF::RetPE.

Friends And Related Symbol Documentation

SVFIRReader

friend class SVFIRReader

friend

Definition at line 240 of file SVFStatements.h.

SVFIRWriter

friend class SVFIRWriter

friend

Definition at line 239 of file SVFStatements.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/SVFIR/SVFStatements.h