#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
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 218 of file SVFStatements.h.

◆ KindToSVFStmtMapTy

typedef PAGEdgeToSetMapTy SVF::SVFStmt::KindToSVFStmtMapTy

Definition at line 214 of file SVFStatements.h.

◆ PAGEdgeSetTy

typedef SVFStmtSetTy SVF::SVFStmt::PAGEdgeSetTy

Definition at line 215 of file SVFStatements.h.

◆ PAGEdgeToSetMapTy

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

Definition at line 213 of file SVFStatements.h.

◆ SVFStmtSetTy

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

Definition at line 212 of file SVFStatements.h.

◆ Var2LabelMap

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

private

Definition at line 219 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 60 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 87 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 98 of file SVFStatements.h.

98{}

Member Function Documentation

◆ classof() [1/2]

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

inlinestatic

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

    {
        return true;
    }

◆ getBB()

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

inline

Definition at line 150 of file SVFStatements.h.

    {
        return basicBlock;
    }

◆ getEdgeID()

EdgeID SVF::SVFStmt::getEdgeID ( ) const

inline

Return Edge ID.

Definition at line 127 of file SVFStatements.h.

    {
        return edgeId;
    }

◆ getICFGNode()

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

inline

Definition at line 158 of file SVFStatements.h.

    {
        return icfgNode;
    }

◆ getValue()

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

inline

Definition at line 141 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 166 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 178 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 190 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 146 of file SVFStatements.h.

    {
        basicBlock = bb;
    }

◆ setICFGNode()

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

inline

Definition at line 154 of file SVFStatements.h.

    {
        icfgNode = node;
    }

◆ setValue()

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

inline

Get/set methods for llvm instruction.

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

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

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

Member Data Documentation

◆ basicBlock

◆ callEdgeLabelCounter

◆ edgeId

◆ icfgNode

◆ inst2LabelMap

◆ multiOpndLabelCounter

◆ storeEdgeLabelCounter

◆ totalEdgeNum

◆ value

◆ var2LabelMap