#include <SVFValue.h>

Inheritance diagram for SVF::SVFBasicBlock:

Public Types
typedef std::vector< const ICFGNode * >::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. More...

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

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

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

Protected Member Functions

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

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

void	setConstDataOrAggData ()

void	setPtrInUncalledFunction ()

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

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

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

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

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

std::string	sourceLoc

Detailed Description

Definition at line 518 of file SVFValue.h.

Member Typedef Documentation

◆ const_iterator

typedef std::vector<const ICFGNode*>::const_iterator SVF::SVFBasicBlock::const_iterator

Definition at line 529 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 540 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 552 of file SVFValue.h.

     {
         predBBs.push_back(pred);
     }

◆ addSuccBasicBlock()

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

inlineprotected

Definition at line 547 of file SVFValue.h.

     {
         succBBs.push_back(succ);
     }

◆ back()

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

inline

Definition at line 600 of file SVFValue.h.

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

◆ begin()

const_iterator SVF::SVFBasicBlock::begin ( ) const

inline

Definition at line 574 of file SVFValue.h.

     {
         return allICFGNodes.begin();
     }

◆ classof()

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

inlinestatic

Definition at line 564 of file SVFValue.h.

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

◆ end()

const_iterator SVF::SVFBasicBlock::end ( ) const

inline

Definition at line 579 of file SVFValue.h.

     {
         return allICFGNodes.end();
     }

◆ front()

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

inline

Definition at line 594 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 589 of file SVFValue.h.

     {
         return fun;
     }

◆ getICFGNodeList()

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

inline

Definition at line 569 of file SVFValue.h.

     {
         return allICFGNodes;
     }

◆ getNumSuccessors()

u32_t SVF::SVFBasicBlock::getNumSuccessors ( ) const

inline

Definition at line 615 of file SVFValue.h.

     {
         return succBBs.size();
     }

◆ getParent()

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

inline

Definition at line 584 of file SVFValue.h.

     {
         return fun;
     }

◆ getPredecessors()

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

inline

Definition at line 611 of file SVFValue.h.

     {
         return predBBs;
     }

◆ getSuccessors()

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

inline

Definition at line 606 of file SVFValue.h.

     {
         return succBBs;
     }

Friends And Related Function Documentation

◆ ICFG

friend class ICFG

friend

Definition at line 526 of file SVFValue.h.

◆ ICFGBuilder

friend class ICFGBuilder

friend

Definition at line 525 of file SVFValue.h.

◆ LLVMModuleSet

friend class LLVMModuleSet

friend

Definition at line 520 of file SVFValue.h.

◆ SVFFunction

friend class SVFFunction

friend

Definition at line 524 of file SVFValue.h.

◆ SVFIRBuilder

friend class SVFIRBuilder

friend

Definition at line 523 of file SVFValue.h.

◆ SVFIRReader

friend class SVFIRReader

friend

Definition at line 522 of file SVFValue.h.

◆ SVFIRWriter

friend class SVFIRWriter

friend

Definition at line 521 of file SVFValue.h.

Member Data Documentation

◆ allICFGNodes

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

private

all ICFGNodes in this BasicBlock

Definition at line 532 of file SVFValue.h.

◆ fun

const SVFFunction* SVF::SVFBasicBlock::fun

private

Definition at line 535 of file SVFValue.h.

◆ predBBs

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

private

all predecessor BasicBlocks of this BasicBlock

Definition at line 534 of file SVFValue.h.

◆ succBBs

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

private

all successor BasicBlocks of this BasicBlock

Definition at line 533 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 Function Documentation

◆ ICFG

◆ ICFGBuilder

◆ LLVMModuleSet

◆ SVFFunction

◆ SVFIRBuilder

◆ SVFIRReader

◆ SVFIRWriter

Member Data Documentation

◆ allICFGNodes

◆ fun

◆ predBBs

◆ succBBs