#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.

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
	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

virtual const std::string	toString () 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 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)

Static Public Attributes
static u32_t	totalEdgeNum
	Total edge number.

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

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

typedef Map< const SVFVar *, u32_t >	Var2LabelMap

Private Attributes
const SVFVar *	value
	LLVM value.

const SVFBasicBlock *	basicBlock
	LLVM BasicBlock.

ICFGNode *	icfgNode
	ICFGNode.

EdgeID	edgeId
	Edge ID.

Static Private Attributes
static Inst2LabelMap	inst2LabelMap
	Call site Instruction to label map.

static Var2LabelMap	var2LabelMap
	Second operand of MultiOpndStmt to label map.

static u64_t	callEdgeLabelCounter = 0
	Call site Instruction counter.

static u64_t	storeEdgeLabelCounter = 0
	Store Instruction counter.

static u64_t	multiOpndLabelCounter = 0
	MultiOpndStmt counter.

Friends
class	SVFIRWriter

class	SVFIRReader

OutStream &	operator<< (OutStream &o, const SVFStmt &edge)
	Overloading operator << for dumping SVFVar value.

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.

static constexpr u64_t	EdgeKindMask = (~0ULL) >> (64 - EdgeKindMaskBits)

Detailed Description

Definition at line 52 of file SVFStatements.h.

Member Typedef Documentation

◆ Inst2LabelMap

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

private

Definition at line 220 of file SVFStatements.h.

◆ KindToSVFStmtMapTy

typedef PAGEdgeToSetMapTy SVF::SVFStmt::KindToSVFStmtMapTy

Definition at line 216 of file SVFStatements.h.

◆ PAGEdgeSetTy

typedef SVFStmtSetTy SVF::SVFStmt::PAGEdgeSetTy

Definition at line 217 of file SVFStatements.h.

◆ PAGEdgeToSetMapTy

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

Definition at line 215 of file SVFStatements.h.

◆ SVFStmtSetTy

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

Definition at line 214 of file SVFStatements.h.

◆ Var2LabelMap

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

private

Definition at line 221 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 62 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 89 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 100 of file SVFStatements.h.

100{}

Member Function Documentation

◆ classof() [1/2]

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

inlinestatic

Definition at line 108 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 104 of file SVFStatements.h.

    {
        return true;
    }

◆ getBB()

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

inline

Definition at line 152 of file SVFStatements.h.

    {
        return basicBlock;
    }

◆ getEdgeID()

EdgeID SVF::SVFStmt::getEdgeID ( ) const

inline

Return Edge ID.

Definition at line 129 of file SVFStatements.h.

    {
        return edgeId;
    }

◆ getICFGNode()

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

inline

Definition at line 160 of file SVFStatements.h.

    {
        return icfgNode;
    }

◆ getValue()

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

inline

Definition at line 143 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 168 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 180 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 192 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 148 of file SVFStatements.h.

    {
        basicBlock = bb;
    }

◆ setICFGNode()

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

inline

Definition at line 156 of file SVFStatements.h.

    {
        icfgNode = node;
    }

◆ setValue()

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

inline

Get/set methods for llvm instruction.

Definition at line 139 of file SVFStatements.h.

    {
        value = val;
    }

◆ toString()

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

virtual

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

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 Symbol Documentation

◆ operator<<

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

friend

Overloading operator << for dumping SVFVar value.

Definition at line 207 of file SVFStatements.h.

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

◆ SVFIRReader

friend class SVFIRReader

friend

Definition at line 55 of file SVFStatements.h.

◆ SVFIRWriter

friend class SVFIRWriter

friend

Definition at line 54 of file SVFStatements.h.

Member Data Documentation

◆ basicBlock

const SVFBasicBlock* SVF::SVFStmt::basicBlock

private

LLVM BasicBlock.

Definition at line 83 of file SVFStatements.h.

◆ callEdgeLabelCounter

u64_t SVFStmt::callEdgeLabelCounter = 0

staticprivate

Call site Instruction counter.

Definition at line 224 of file SVFStatements.h.

◆ edgeId

EdgeID SVF::SVFStmt::edgeId

private

Edge ID.

Definition at line 85 of file SVFStatements.h.

◆ icfgNode

ICFGNode* SVF::SVFStmt::icfgNode

private

ICFGNode.

Definition at line 84 of file SVFStatements.h.

◆ inst2LabelMap

SVFStmt::Inst2LabelMap SVFStmt::inst2LabelMap

staticprivate

Call site Instruction to label map.

Definition at line 222 of file SVFStatements.h.

◆ multiOpndLabelCounter

u64_t SVFStmt::multiOpndLabelCounter = 0

staticprivate

MultiOpndStmt counter.

Definition at line 226 of file SVFStatements.h.

◆ storeEdgeLabelCounter

u64_t SVFStmt::storeEdgeLabelCounter = 0

staticprivate

Store Instruction counter.

Definition at line 225 of file SVFStatements.h.

◆ totalEdgeNum

u32_t SVF::SVFStmt::totalEdgeNum

static

Total edge number.

Definition at line 95 of file SVFStatements.h.

◆ value

const SVFVar* SVF::SVFStmt::value

private

LLVM value.

Definition at line 82 of file SVFStatements.h.

◆ var2LabelMap

SVFStmt::Var2LabelMap SVFStmt::var2LabelMap

staticprivate

Second operand of MultiOpndStmt to label map.

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

Public Types

Public Member Functions

Static Public Member Functions

Static Public Attributes

Protected Member Functions

Private Types

Private Attributes

Static Private Attributes

Friends

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ Inst2LabelMap

◆ KindToSVFStmtMapTy

◆ PAGEdgeSetTy

◆ PAGEdgeToSetMapTy

◆ SVFStmtSetTy

◆ Var2LabelMap

Member Enumeration Documentation

◆ PEDGEK

Constructor & Destructor Documentation

◆ SVFStmt() [1/2]

◆ SVFStmt() [2/2]

◆ ~SVFStmt()

Member Function Documentation

◆ classof() [1/2]

◆ classof() [2/2]

◆ getBB()

◆ getEdgeID()

◆ getICFGNode()

◆ getValue()

◆ isPTAEdge()

◆ makeEdgeFlagWithAddionalOpnd()

◆ makeEdgeFlagWithCallInst()

◆ makeEdgeFlagWithStoreInst()

◆ setBB()

◆ setICFGNode()

◆ setValue()

◆ toString()

Friends And Related Symbol Documentation

◆ operator<<

◆ SVFIRReader

◆ SVFIRWriter

Member Data Documentation

◆ basicBlock

◆ callEdgeLabelCounter

◆ edgeId

◆ icfgNode

◆ inst2LabelMap

◆ multiOpndLabelCounter

◆ storeEdgeLabelCounter

◆ totalEdgeNum

◆ value

◆ var2LabelMap