SVF::SVFStmt Class Reference

#include <SVFStatements.h>

Inheritance diagram for SVF::SVFStmt:

Public Types
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. More...
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) More...

Public Member Functions
	SVFStmt (SVFVar *s, SVFVar *d, GEdgeFlag k, bool real=true)
	Constructor. More...
	~SVFStmt ()
	Destructor. More...
EdgeID	getEdgeID () const
	Return Edge ID. More...
bool	isPTAEdge () const
	Whether src and dst nodes are both of pointer type. More...
const SVFInstruction *	getInst () const
	Get/set methods for llvm instruction. More...
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
virtual const std::string	toString () const
Public Member Functions inherited from SVF::GenericEdge< NodeTy >
	GenericEdge (NodeTy *s, NodeTy *d, GEdgeFlag k)
	Constructor. More...
virtual	~GenericEdge ()
	Destructor. More...
NodeID	getSrcID () const
	get methods of the components More...
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 SVFStmt *)
	ClassOf. More...
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)

Static Public Attributes
static u32_t	totalEdgeNum
	Total edge number. More...

Protected Member Functions
	SVFStmt (GEdgeFlag k)
	Private constructor for reading SVFIR from file without side-effect. More...

Private Types
typedef Map< const ICFGNode *, u32_t >	Inst2LabelMap
typedef Map< const SVFVar *, u32_t >	Var2LabelMap

Private Attributes
const SVFValue *	value
	LLVM value. More...
const SVFBasicBlock *	basicBlock
	LLVM BasicBlock. More...
ICFGNode *	icfgNode
	ICFGNode. More...
EdgeID	edgeId
	Edge ID. More...

Static Private Attributes
static Inst2LabelMap	inst2LabelMap
	Call site Instruction to label map. More...
static Var2LabelMap	var2LabelMap
	Second operand of MultiOpndStmt to label map. More...
static u64_t	callEdgeLabelCounter = 0
	Call site Instruction counter. More...
static u64_t	storeEdgeLabelCounter = 0
	Store Instruction counter. More...
static u64_t	multiOpndLabelCounter = 0
	MultiOpndStmt counter. More...

Friends
class	SVFIRWriter
class	SVFIRReader
OutStream &	operator<< (OutStream &o, const SVFStmt &edge)
	Overloading operator << for dumping SVFVar value. More...

Additional Inherited Members
Static Protected Attributes inherited from SVF::GenericEdge< NodeTy >
static constexpr unsigned char	EdgeKindMaskBits = 8
	We use the lower 8 bits to denote edge kind. More...
static constexpr u64_t	EdgeKindMask = (~0ULL) >> (64 - EdgeKindMaskBits)

Detailed Description

Definition at line 51 of file SVFStatements.h.

Member Typedef Documentation

Inst2LabelMap

typedef Map<const ICFGNode*, u32_t> SVF::SVFStmt::Inst2LabelMap

private

Definition at line 223 of file SVFStatements.h.

KindToSVFStmtMapTy

typedef PAGEdgeToSetMapTy SVF::SVFStmt::KindToSVFStmtMapTy

Definition at line 219 of file SVFStatements.h.

PAGEdgeSetTy

typedef SVFStmtSetTy SVF::SVFStmt::PAGEdgeSetTy

Definition at line 220 of file SVFStatements.h.

PAGEdgeToSetMapTy

typedef Map<EdgeID, SVFStmtSetTy> SVF::SVFStmt::PAGEdgeToSetMapTy

Definition at line 218 of file SVFStatements.h.

SVFStmtSetTy

typedef GenericNode<SVFVar,SVFStmt>::GEdgeSetTy SVF::SVFStmt::SVFStmtSetTy

Definition at line 217 of file SVFStatements.h.

Var2LabelMap

typedef Map<const SVFVar*, u32_t> SVF::SVFStmt::Var2LabelMap

private

Definition at line 224 of file SVFStatements.h.

Member Enumeration Documentation

PEDGEK

enum SVF::SVFStmt::PEDGEK

Types of SVFIR statements Gep represents (base + offset) for field sensitivity ThreadFork/ThreadJoin is to model parameter passings between thread spawners and spawnees.

Enumerator
Addr
Copy
Store
Load
Call
Ret
Gep
Phi
Select
Cmp
BinaryOp
UnaryOp
Branch
ThreadFork
ThreadJoin

Definition at line 61 of file SVFStatements.h.

    {
        Addr,
        Copy,
        Store,
        Load,
        Call,
        Ret,
        Gep,
        Phi,
        Select,
        Cmp,
        BinaryOp,
        UnaryOp,
        Branch,
        ThreadFork,
        ThreadJoin
    };

Constructor & Destructor Documentation

SVFStmt() [1/2]

SVF::SVFStmt::SVFStmt ( GEdgeFlag  k )

inlineprotected

Private constructor for reading SVFIR from file without side-effect.

Definition at line 88 of file SVFStatements.h.

        : GenericPAGEdgeTy({}, {}, k), value{}, basicBlock{}, icfgNode{}
    {
    }

SVFStmt() [2/2]

SVFStmt::SVFStmt	(	SVFVar *	s,
		SVFVar *	d,
		GEdgeFlag	k,
		bool	real = true
	)

Constructor.

SVFStmt constructor

Definition at line 48 of file SVFStatements.cpp.

                                                             :
    GenericPAGEdgeTy(s,d,k),value(nullptr),basicBlock(nullptr),icfgNode(nullptr),edgeId(UINT_MAX)
{
    if(real)
    {
        edgeId = SVFIR::getPAG()->getTotalEdgeNum();
        SVFIR::getPAG()->incEdgeNum();
    }
}

~SVFStmt()

SVF::SVFStmt::~SVFStmt ( )

inline

Destructor.

Definition at line 99 of file SVFStatements.h.

{}

Member Function Documentation

classof() [1/2]

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

inlinestatic

Definition at line 107 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::Phi ||
               edge->getEdgeKind() == SVFStmt::Select ||
               edge->getEdgeKind() == SVFStmt::Cmp ||
               edge->getEdgeKind() == SVFStmt::BinaryOp ||
               edge->getEdgeKind() == SVFStmt::UnaryOp ||
               edge->getEdgeKind() == SVFStmt::Branch ||
               edge->getEdgeKind() == SVFStmt::ThreadFork ||
               edge->getEdgeKind() == SVFStmt::ThreadJoin;
    }

classof() [2/2]

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

inlinestatic

ClassOf.

Definition at line 103 of file SVFStatements.h.

    {
        return true;
    }

getBB()

const SVFBasicBlock* SVF::SVFStmt::getBB ( ) const

inline

Definition at line 155 of file SVFStatements.h.

    {
        return basicBlock;
    }

getEdgeID()

EdgeID SVF::SVFStmt::getEdgeID ( ) const

inline

Return Edge ID.

Definition at line 128 of file SVFStatements.h.

    {
        return edgeId;
    }

getICFGNode()

ICFGNode* SVF::SVFStmt::getICFGNode ( ) const

inline

Definition at line 163 of file SVFStatements.h.

    {
        return icfgNode;
    }

getInst()

const SVFInstruction* SVF::SVFStmt::getInst ( ) const

inline

Get/set methods for llvm instruction.

Definition at line 137 of file SVFStatements.h.

    {
        if (const SVFInstruction* i = SVFUtil::dyn_cast<SVFInstruction>(value))
            return i;
        return nullptr;
    }

getValue()

const SVFValue* SVF::SVFStmt::getValue ( ) const

inline

Definition at line 147 of file SVFStatements.h.

    {
        return value;
    }

isPTAEdge()

bool SVFStmt::isPTAEdge

(

)

const

Whether src and dst nodes are both of pointer type.

Whether src and dst nodes are both pointer type

Definition at line 61 of file SVFStatements.cpp.

{
    return getSrcNode()->isPointer() && getDstNode()->isPointer();
}

makeEdgeFlagWithAddionalOpnd()

static GEdgeFlag SVF::SVFStmt::makeEdgeFlagWithAddionalOpnd ( GEdgeKind  k, const SVFVar *  var  )

inlinestatic

Compute the unique edgeFlag value from edge kind and second variable operand for MultiOpndStmt.

Definition at line 171 of file SVFStatements.h.

    {
        auto it_inserted = var2LabelMap.emplace(var, multiOpndLabelCounter);
        if (it_inserted.second)
            ++multiOpndLabelCounter;
        u64_t label = it_inserted.first->second;
        return (label << EdgeKindMaskBits) | k;
    }

makeEdgeFlagWithCallInst()

static GEdgeFlag SVF::SVFStmt::makeEdgeFlagWithCallInst ( GEdgeKind  k, const ICFGNode *  cs  )

inlinestatic

Compute the unique edgeFlag value from edge kind and call site Instruction.

Definition at line 183 of file SVFStatements.h.

    {
        auto it_inserted = inst2LabelMap.emplace(cs, callEdgeLabelCounter);
        if (it_inserted.second)
            ++callEdgeLabelCounter;
        u64_t label = it_inserted.first->second;
        return (label << EdgeKindMaskBits) | k;
    }

makeEdgeFlagWithStoreInst()

static GEdgeFlag SVF::SVFStmt::makeEdgeFlagWithStoreInst ( GEdgeKind  k, const ICFGNode *  store  )

inlinestatic

Compute the unique edgeFlag value from edge kind and store Instruction. Two store instructions may share the same StorePAGEdge

Definition at line 195 of file SVFStatements.h.

    {
        auto it_inserted = inst2LabelMap.emplace(store, storeEdgeLabelCounter);
        if (it_inserted.second)
            ++storeEdgeLabelCounter;
        u64_t label = it_inserted.first->second;
        return (label << EdgeKindMaskBits) | k;
    }

setBB()

void SVF::SVFStmt::setBB ( const SVFBasicBlock *  bb )

inline

Definition at line 151 of file SVFStatements.h.

    {
        basicBlock = bb;
    }

setICFGNode()

void SVF::SVFStmt::setICFGNode ( ICFGNode *  node )

inline

Definition at line 159 of file SVFStatements.h.

    {
        icfgNode = node;
    }

setValue()

void SVF::SVFStmt::setValue ( const SVFValue *  val )

inline

Definition at line 143 of file SVFStatements.h.

    {
        value = val;
    }

toString()

const std::string SVFStmt::toString ( ) const

virtual

Reimplemented in SVF::BranchStmt, SVF::UnaryOPStmt, SVF::BinaryOPStmt, SVF::CmpStmt, SVF::SelectStmt, SVF::PhiStmt, SVF::RetPE, SVF::CallPE, SVF::LoadStmt, SVF::StoreStmt, SVF::CopyStmt, SVF::AddrStmt, SVF::AssignStmt, SVF::TDJoinPE, SVF::TDForkPE, and SVF::GepStmt.

Definition at line 66 of file SVFStatements.cpp.

{
    std::string str;
    std::stringstream rawstr(str);
    rawstr << "SVFStmt: [Var" << getDstID() << " <-- Var" << getSrcID() << "]\t";
    return rawstr.str();
}

Friends And Related Function Documentation

operator<<

OutStream& operator<< ( OutStream &  o, const SVFStmt &  edge  )

friend

Overloading operator << for dumping SVFVar value.

Definition at line 210 of file SVFStatements.h.

    {
        o << edge.toString();
        return o;
    }

SVFIRReader

friend class SVFIRReader

friend

Definition at line 54 of file SVFStatements.h.

SVFIRWriter

friend class SVFIRWriter

friend

Definition at line 53 of file SVFStatements.h.

Member Data Documentation

basicBlock

const SVFBasicBlock* SVF::SVFStmt::basicBlock

private

LLVM BasicBlock.

Definition at line 82 of file SVFStatements.h.

callEdgeLabelCounter

u64_t SVFStmt::callEdgeLabelCounter = 0

staticprivate

Call site Instruction counter.

Definition at line 227 of file SVFStatements.h.

edgeId

EdgeID SVF::SVFStmt::edgeId

private

Edge ID.

Definition at line 84 of file SVFStatements.h.

icfgNode

ICFGNode* SVF::SVFStmt::icfgNode

private

ICFGNode.

Definition at line 83 of file SVFStatements.h.

inst2LabelMap

SVFStmt::Inst2LabelMap SVFStmt::inst2LabelMap

staticprivate

Call site Instruction to label map.

Definition at line 225 of file SVFStatements.h.

multiOpndLabelCounter

u64_t SVFStmt::multiOpndLabelCounter = 0

staticprivate

MultiOpndStmt counter.

Definition at line 229 of file SVFStatements.h.

storeEdgeLabelCounter

u64_t SVFStmt::storeEdgeLabelCounter = 0

staticprivate

Store Instruction counter.

Definition at line 228 of file SVFStatements.h.

totalEdgeNum

u32_t SVF::SVFStmt::totalEdgeNum

static

Total edge number.

Definition at line 94 of file SVFStatements.h.

value

const SVFValue* SVF::SVFStmt::value

private

LLVM value.

Definition at line 81 of file SVFStatements.h.

var2LabelMap

SVFStmt::Var2LabelMap SVFStmt::var2LabelMap

staticprivate

Second operand of MultiOpndStmt to label map.

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