SVF::CopyStmt Class Reference

#include <SVFStatements.h>

Inheritance diagram for SVF::CopyStmt:

Public Types
enum	CopyKind {   COPYVAL , ZEXT , SEXT , BITCAST ,   TRUNC , FPTRUNC , FPTOUI , FPTOSI ,   UITOFP , SITOFP , INTTOPTR , PTRTOINT }
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)

Public Member Functions
u32_t	getCopyKind () const
	Return the kind of the copy statement.
bool	isBitCast () const
bool	isValueCopy () const
bool	isInt2Ptr () const
bool	isPtr2Int () const
bool	isZext () const
bool	isSext () const
	CopyStmt (SVFVar *s, SVFVar *d, CopyKind k)
	constructor
virtual const std::string	toString () const override
Public Member Functions inherited from SVF::AssignStmt
SVFVar *	getRHSVar () const
SVFVar *	getLHSVar () const
NodeID	getRHSVarID () const
NodeID	getLHSVarID () const
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.
void	setValue (const SVFVar *val)
	Get/set methods for llvm instruction.
const SVFVar *	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 CopyStmt *)
	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::AssignStmt
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)

Private Member Functions
	CopyStmt (const CopyStmt &)
	place holder
void	operator= (const CopyStmt &)
	place holder

Private Attributes
u32_t	copyKind

Additional Inherited Members
Static Public Attributes inherited from SVF::SVFStmt
static u32_t	totalEdgeNum
	Total edge number.
Protected Member Functions inherited from SVF::AssignStmt
	AssignStmt (SVFVar *s, SVFVar *d, GEdgeFlag k)
	constructor
Protected Member Functions inherited from SVF::SVFStmt
	SVFStmt (GEdgeFlag k)
	Private constructor for reading SVFIR from file without side-effect.
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

Copy statements (simple assignment and casting)

Definition at line 351 of file SVFStatements.h.

Member Enumeration Documentation

CopyKind

enum SVF::CopyStmt::CopyKind

Enumerator
COPYVAL
ZEXT
SEXT
BITCAST
TRUNC
FPTRUNC
FPTOUI
FPTOSI
UITOFP
SITOFP
INTTOPTR
PTRTOINT

Definition at line 358 of file SVFStatements.h.

    {
        COPYVAL,    // Value copies (default one)
        ZEXT,       // Zero extend integers
        SEXT,       // Sign extend integers
        BITCAST,    // Type cast
        TRUNC,      // Truncate integers
        FPTRUNC,    // Truncate floating point
        FPTOUI,     // floating point -> UInt
        FPTOSI,     // floating point -> SInt
        UITOFP,     // UInt -> floating point
        SITOFP,     // SInt -> floating point
        INTTOPTR,   // Integer -> Pointer
        PTRTOINT    // Pointer -> Integer
    };

Constructor & Destructor Documentation

CopyStmt() [1/2]

SVF::CopyStmt::CopyStmt ( const CopyStmt &  )

private

place holder

CopyStmt() [2/2]

SVF::CopyStmt::CopyStmt ( SVFVar *  s, SVFVar *  d, CopyKind  k  )

inline

constructor

Definition at line 426 of file SVFStatements.h.

: AssignStmt(s, d, SVFStmt::Copy), copyKind(k) {}

Member Function Documentation

classof() [1/3]

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

inlinestatic

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

Definition at line 375 of file SVFStatements.h.

    {
        return true;
    }

classof() [2/3]

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

inlinestatic

Definition at line 383 of file SVFStatements.h.

    {
        return edge->getEdgeKind() == SVFStmt::Copy;
    }

classof() [3/3]

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

inlinestatic

Definition at line 379 of file SVFStatements.h.

    {
        return edge->getEdgeKind() == SVFStmt::Copy;
    }

getCopyKind()

u32_t SVF::CopyStmt::getCopyKind ( ) const

inline

Return the kind of the copy statement.

Definition at line 390 of file SVFStatements.h.

    {
        return copyKind;
    }

isBitCast()

bool SVF::CopyStmt::isBitCast ( ) const

inline

Definition at line 395 of file SVFStatements.h.

    {
        return copyKind == BITCAST;
    }

isInt2Ptr()

bool SVF::CopyStmt::isInt2Ptr ( ) const

inline

Definition at line 405 of file SVFStatements.h.

    {
        return copyKind == INTTOPTR;
    }

isPtr2Int()

bool SVF::CopyStmt::isPtr2Int ( ) const

inline

Definition at line 410 of file SVFStatements.h.

    {
        return copyKind == PTRTOINT;
    }

isSext()

bool SVF::CopyStmt::isSext ( ) const

inline

Definition at line 420 of file SVFStatements.h.

    {
        return copyKind == SEXT;
    }

isValueCopy()

bool SVF::CopyStmt::isValueCopy ( ) const

inline

Definition at line 400 of file SVFStatements.h.

    {
        return copyKind == COPYVAL;
    }

isZext()

bool SVF::CopyStmt::isZext ( ) const

inline

Definition at line 415 of file SVFStatements.h.

    {
        return copyKind == ZEXT;
    }

operator=()

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

private

place holder

toString()

const std::string CopyStmt::toString ( ) const

overridevirtual

Implements SVF::AssignStmt.

Definition at line 87 of file SVFStatements.cpp.

{
    std::string str;
    std::stringstream rawstr(str);
    rawstr << "CopyStmt: [Var" << getLHSVarID() << " <-- Var" << getRHSVarID() << "]\t";
    if (Options::ShowSVFIRValue())
    {
        rawstr << "\n";
        rawstr << getValue()->toString();
    }
    return rawstr.str();
}

Member Data Documentation

copyKind

u32_t SVF::CopyStmt::copyKind

private

Definition at line 430 of file SVFStatements.h.

---

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

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