#include <SVFValue.h>

Inheritance diagram for SVF::SVFBasicBlock:

Public Types
typedef std::vector< constICFGNode * >::const_iterator	const_iterator

Public Types inherited from SVF::SVFValue
enum	SVFValKind { SVFVal , SVFFunc , SVFBB , SVFInst , SVFCall , SVFVCall , SVFGlob , SVFArg , SVFConst , SVFConstData , SVFConstInt , SVFConstFP , SVFNullPtr , SVFBlackHole , SVFMetaAsValue , SVFOther }

typedef s64_t	GNodeK

Public Member Functions
	SVFBasicBlock (const SVFType ty, const SVFFunction f)
	Constructor without name.

	SVFBasicBlock ()=delete

	~SVFBasicBlock () override

const std::vector< const ICFGNode * > &	getICFGNodeList () const

const_iterator	begin () const

const_iterator	end () const

const SVFFunction *	getParent () const

const SVFFunction *	getFunction () const

const ICFGNode *	front () const

const ICFGNode *	back () const

const std::vector< const SVFBasicBlock * > &	getSuccessors () const

const std::vector< const SVFBasicBlock * > &	getPredecessors () const

u32_t	getNumSuccessors () const

u32_t	getBBSuccessorPos (const SVFBasicBlock *succbb)

u32_t	getBBSuccessorPos (const SVFBasicBlock *succbb) const

u32_t	getBBPredecessorPos (const SVFBasicBlock *succbb)

u32_t	getBBPredecessorPos (const SVFBasicBlock *succbb) const

Public Member Functions inherited from SVF::SVFValue
	SVFValue ()=delete

virtual	~SVFValue ()=default

GNodeK	getKind () const
	Get the type of this SVFValue.

const std::string &	getName () const

void	setName (const std::string &n)

void	setName (std::string &&n)

virtual const SVFType *	getType () const

bool	isConstDataOrAggData () const

bool	ptrInUncalledFunction () const

bool	isblackHole () const

bool	isNullPtr () const

virtual void	setSourceLoc (const std::string &sourceCodeInfo)

virtual const std::string	getSourceLoc () const

std::string	toString () const
	Needs to be implemented by a SVF front end.

Static Public Member Functions
static bool	classof (const SVFValue *node)

Protected Member Functions

void	addICFGNode (const ICFGNode *icfgNode)
	Function where this BasicBlock is.

void	addSuccBasicBlock (const SVFBasicBlock *succ)

void	addPredBasicBlock (const SVFBasicBlock *pred)

Protected Member Functions inherited from SVF::SVFValue
	SVFValue (const SVFType *ty, SVFValKind k)
	Constructor without name.

void	setConstDataOrAggData ()

void	setPtrInUncalledFunction ()

Private Attributes
std::vector< const ICFGNode * >	allICFGNodes
	all ICFGNodes in this BasicBlock

std::vector< const SVFBasicBlock * >	succBBs
	all successor BasicBlocks of this BasicBlock

std::vector< const SVFBasicBlock * >	predBBs
	all predecessor BasicBlocks of this BasicBlock

const SVFFunction *	fun

Friends
class	LLVMModuleSet

class	SVFIRWriter

class	SVFIRReader

class	SVFIRBuilder

class	SVFFunction

class	ICFGBuilder

class	ICFG

Additional Inherited Members
Protected Attributes inherited from SVF::SVFValue
const SVFType *	type
	Type of this SVFValue.

std::string	name
	Short name of value for printing & debugging.

std::string	sourceLoc

Detailed Description

Definition at line 529 of file SVFValue.h.

Member Typedef Documentation

◆ const_iterator

typedef std::vector<constICFGNode*>::const_iterator SVF::SVFBasicBlock::const_iterator

Definition at line 540 of file SVFValue.h.

Constructor & Destructor Documentation

◆ SVFBasicBlock() [1/2]

SVFBasicBlock::SVFBasicBlock	(	const SVFType *	ty,
		const SVFFunction *	f
	)

Constructor without name.

Definition at line 199 of file SVFValue.cpp.

    : SVFValue(ty, SVFValue::SVFBB), fun(f)
{
}

◆ SVFBasicBlock() [2/2]

SVF::SVFBasicBlock::SVFBasicBlock ( )

delete

◆ ~SVFBasicBlock()

SVFBasicBlock::~SVFBasicBlock ( )

override

Definition at line 204 of file SVFValue.cpp.

{
 
}

Member Function Documentation

◆ addICFGNode()

void SVF::SVFBasicBlock::addICFGNode ( const ICFGNode * icfgNode )

inlineprotected

Function where this BasicBlock is.

attributes to be set only through Module builders e.g., LLVMModule

Definition at line 551 of file SVFValue.h.

    {
        assert(std::find(getICFGNodeList().begin(), getICFGNodeList().end(),
                         icfgNode) == getICFGNodeList().end() && "duplicated icfgnode");
        allICFGNodes.push_back(icfgNode);
    }

◆ addPredBasicBlock()

void SVF::SVFBasicBlock::addPredBasicBlock ( const SVFBasicBlock * pred )

inlineprotected

Definition at line 563 of file SVFValue.h.

    {
        predBBs.push_back(pred);
    }

◆ addSuccBasicBlock()

void SVF::SVFBasicBlock::addSuccBasicBlock ( const SVFBasicBlock * succ )

inlineprotected

Definition at line 558 of file SVFValue.h.

    {
        succBBs.push_back(succ);
    }

◆ back()

const ICFGNode * SVF::SVFBasicBlock::back ( ) const

inline

Definition at line 611 of file SVFValue.h.

    {
        assert(!allICFGNodes.empty() && "bb empty?");
        return allICFGNodes.back();
    }

◆ begin()

const_iterator SVF::SVFBasicBlock::begin ( ) const

inline

Definition at line 585 of file SVFValue.h.

    {
        return allICFGNodes.begin();
    }

◆ classof()

static bool SVF::SVFBasicBlock::classof ( const SVFValue * node )

inlinestatic

Definition at line 575 of file SVFValue.h.

    {
        return node->getKind() == SVFBB;
    }

◆ end()

const_iterator SVF::SVFBasicBlock::end ( ) const

inline

Definition at line 590 of file SVFValue.h.

    {
        return allICFGNodes.end();
    }

◆ front()

const ICFGNode * SVF::SVFBasicBlock::front ( ) const

inline

Definition at line 605 of file SVFValue.h.

    {
        assert(!allICFGNodes.empty() && "bb empty?");
        return allICFGNodes.front();
    }

◆ getBBPredecessorPos() [1/2]

u32_t SVFBasicBlock::getBBPredecessorPos ( const SVFBasicBlock * succbb )

Return a position index from current bb to it successor bb

Definition at line 241 of file SVFValue.cpp.

{
    u32_t pos = 0;
    for (const SVFBasicBlock* PredBB : succbb->getPredecessors())
    {
        if(PredBB == this)
            return pos;
        ++pos;
    }
    assert(false && "Didn't find predecessor edge?");
    return pos;
}

◆ getBBPredecessorPos() [2/2]

u32_t SVFBasicBlock::getBBPredecessorPos ( const SVFBasicBlock * succbb ) const

Definition at line 253 of file SVFValue.cpp.

{
    u32_t pos = 0;
    for (const SVFBasicBlock* PredBB : succbb->getPredecessors())
    {
        if(PredBB == this)
            return pos;
        ++pos;
    }
    assert(false && "Didn't find predecessor edge?");
    return pos;
}

◆ getBBSuccessorPos() [1/2]

u32_t SVFBasicBlock::getBBSuccessorPos ( const SVFBasicBlock * Succ )

Get position of a successor basic block

Definition at line 212 of file SVFValue.cpp.

{
    u32_t i = 0;
    for (const SVFBasicBlock* SuccBB: succBBs)
    {
        if (SuccBB == Succ)
            return i;
        i++;
    }
    assert(false && "Didn't find successor edge?");
    return 0;
}

◆ getBBSuccessorPos() [2/2]

u32_t SVFBasicBlock::getBBSuccessorPos ( const SVFBasicBlock * succbb ) const

Definition at line 225 of file SVFValue.cpp.

{
    u32_t i = 0;
    for (const SVFBasicBlock* SuccBB: succBBs)
    {
        if (SuccBB == Succ)
            return i;
        i++;
    }
    assert(false && "Didn't find successor edge?");
    return 0;
}

◆ getFunction()

const SVFFunction * SVF::SVFBasicBlock::getFunction ( ) const

inline

Definition at line 600 of file SVFValue.h.

    {
        return fun;
    }

◆ getICFGNodeList()

const std::vector< const ICFGNode * > & SVF::SVFBasicBlock::getICFGNodeList ( ) const

inline

Definition at line 580 of file SVFValue.h.

    {
        return allICFGNodes;
    }

◆ getNumSuccessors()

u32_t SVF::SVFBasicBlock::getNumSuccessors ( ) const

inline

Definition at line 626 of file SVFValue.h.

    {
        return succBBs.size();
    }

◆ getParent()

const SVFFunction * SVF::SVFBasicBlock::getParent ( ) const

inline

Definition at line 595 of file SVFValue.h.

    {
        return fun;
    }

◆ getPredecessors()

const std::vector< const SVFBasicBlock * > & SVF::SVFBasicBlock::getPredecessors ( ) const

inline

Definition at line 622 of file SVFValue.h.

    {
        return predBBs;
    }

◆ getSuccessors()

const std::vector< const SVFBasicBlock * > & SVF::SVFBasicBlock::getSuccessors ( ) const

inline

Definition at line 617 of file SVFValue.h.

    {
        return succBBs;
    }

Friends And Related Symbol Documentation

◆ ICFG

friend class ICFG

friend

Definition at line 537 of file SVFValue.h.

◆ ICFGBuilder

friend class ICFGBuilder

friend

Definition at line 536 of file SVFValue.h.

◆ LLVMModuleSet

friend class LLVMModuleSet

friend

Definition at line 531 of file SVFValue.h.

◆ SVFFunction

friend class SVFFunction

friend

Definition at line 535 of file SVFValue.h.

◆ SVFIRBuilder

friend class SVFIRBuilder

friend

Definition at line 534 of file SVFValue.h.

◆ SVFIRReader

friend class SVFIRReader

friend

Definition at line 533 of file SVFValue.h.

◆ SVFIRWriter

friend class SVFIRWriter

friend

Definition at line 532 of file SVFValue.h.

Member Data Documentation

◆ allICFGNodes

std::vector<const ICFGNode*> SVF::SVFBasicBlock::allICFGNodes

private

all ICFGNodes in this BasicBlock

Definition at line 543 of file SVFValue.h.

◆ fun

const SVFFunction* SVF::SVFBasicBlock::fun

private

Definition at line 546 of file SVFValue.h.

◆ predBBs

std::vector<const SVFBasicBlock*> SVF::SVFBasicBlock::predBBs

private

all predecessor BasicBlocks of this BasicBlock

Definition at line 545 of file SVFValue.h.

◆ succBBs

std::vector<const SVFBasicBlock*> SVF::SVFBasicBlock::succBBs

private

all successor BasicBlocks of this BasicBlock

Definition at line 544 of file SVFValue.h.

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

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

Public Types

Public Member Functions

Static Public Member Functions

Protected Member Functions

Private Attributes

Friends

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ const_iterator

Constructor & Destructor Documentation

◆ SVFBasicBlock() [1/2]

◆ SVFBasicBlock() [2/2]

◆ ~SVFBasicBlock()

Member Function Documentation

◆ addICFGNode()

◆ addPredBasicBlock()

◆ addSuccBasicBlock()

◆ back()

◆ begin()

◆ classof()

◆ end()

◆ front()

◆ getBBPredecessorPos() [1/2]

◆ getBBPredecessorPos() [2/2]

◆ getBBSuccessorPos() [1/2]

◆ getBBSuccessorPos() [2/2]

◆ getFunction()

◆ getICFGNodeList()

◆ getNumSuccessors()

◆ getParent()

◆ getPredecessors()

◆ getSuccessors()

Friends And Related Symbol Documentation

◆ ICFG

◆ ICFGBuilder

◆ LLVMModuleSet

◆ SVFFunction

◆ SVFIRBuilder

◆ SVFIRReader

◆ SVFIRWriter

Member Data Documentation

◆ allICFGNodes

◆ fun

◆ predBBs

◆ succBBs