Static Value-Flow Analysis
Loading...
Searching...
No Matches
Public Types | Public Member Functions | Static Public Member Functions | Private Attributes | Friends | List of all members
SVF::FunObjVar Class Reference

#include <SVFVariables.h>

Inheritance diagram for SVF::FunObjVar:
SVF::BaseObjVar SVF::ObjVar SVF::SVFVar SVF::GenericNode< NodeTy, EdgeTy > SVF::SVFValue

Public Types

typedef SVFLoopAndDomInfo::BBSet BBSet
 
typedef SVFLoopAndDomInfo::BBList BBList
 
typedef SVFLoopAndDomInfo::LoopBBs LoopBBs
 
typedef BasicBlockGraph::IDToNodeMapTy::const_iterator const_bb_iterator
 
- Public Types inherited from SVF::SVFVar
typedef GNodeK PNODEK
 
typedef s64_t GEdgeKind
 
- Public Types inherited from SVF::GenericNode< NodeTy, EdgeTy >
typedef NodeTy NodeType
 
typedef EdgeTy EdgeType
 
typedef OrderedSet< EdgeType *, typename EdgeType::equalGEdge > GEdgeSetTy
 Edge kind.
 
typedef GEdgeSetTy::iterator iterator
 
typedef GEdgeSetTy::const_iterator const_iterator
 
- Public Types inherited from SVF::SVFValue
enum  GNodeK {
  IntraBlock , GlobalBlock , FunEntryBlock , FunExitBlock ,
  FunCallBlock , FunRetBlock , ValNode , ArgValNode ,
  FunValNode , GepValNode , RetValNode , VarargValNode ,
  GlobalValNode , ConstAggValNode , ConstDataValNode , BlackHoleValNode ,
  ConstFPValNode , ConstIntValNode , ConstNullptrValNode , DummyValNode ,
  ObjNode , GepObjNode , BaseObjNode , FunObjNode ,
  HeapObjNode , StackObjNode , GlobalObjNode , ConstAggObjNode ,
  ConstDataObjNode , ConstFPObjNode , ConstIntObjNode , ConstNullptrObjNode ,
  DummyObjNode , Cmp , BinaryOp , UnaryOp ,
  Branch , DummyVProp , NPtr , FRet ,
  ARet , AParm , FParm , Addr ,
  Copy , Gep , Store , Load ,
  TPhi , TIntraPhi , TInterPhi , FPIN ,
  FPOUT , APIN , APOUT , MPhi ,
  MIntraPhi , MInterPhi , CallNodeKd , CDNodeKd ,
  CFLNodeKd , CHNodeKd , ConstraintNodeKd , TCTNodeKd ,
  DCHNodeKd , BasicBlockKd , OtherKd
}
 

Public Member Functions

 FunObjVar (NodeID i, ObjTypeInfo *ti, const SVFType *svfType, const ICFGNode *node)
 Constructor.
 
virtual ~FunObjVar ()
 
void initFunObjVar (bool decl, bool intrinc, bool addr, bool uncalled, bool notret, bool vararg, const SVFFunctionType *ft, SVFLoopAndDomInfo *ld, const FunObjVar *real, BasicBlockGraph *bbg, const std::vector< const ArgValVar * > &allarg, const SVFBasicBlock *exit)
 
void setRelDefFun (const FunObjVar *real)
 
virtual const FunObjVargetFunction () const
 Get containing function, or null for globals/constants.
 
void addArgument (const ArgValVar *arg)
 
bool isDeclaration () const
 
bool isIntrinsic () const
 
bool hasAddressTaken () const
 
bool isVarArg () const
 
bool isUncalledFunction () const
 
bool hasReturn () const
 
const SVFFunctionTypegetFunctionType () const
 Returns the FunctionType.
 
const SVFTypegetReturnType () const
 Returns the FunctionType.
 
SVFLoopAndDomInfogetLoopAndDomInfo () const
 
const std::vector< const SVFBasicBlock * > & getReachableBBs () const
 
void getExitBlocksOfLoop (const SVFBasicBlock *bb, BBList &exitbbs) const
 
bool hasLoopInfo (const SVFBasicBlock *bb) const
 
const LoopBBsgetLoopInfo (const SVFBasicBlock *bb) const
 
const SVFBasicBlockgetLoopHeader (const BBList &lp) const
 
bool loopContainsBB (const BBList &lp, const SVFBasicBlock *bb) const
 
const Map< const SVFBasicBlock *, BBSet > & getDomTreeMap () const
 
const Map< const SVFBasicBlock *, BBSet > & getDomFrontierMap () const
 
bool isLoopHeader (const SVFBasicBlock *bb) const
 
bool dominate (const SVFBasicBlock *bbKey, const SVFBasicBlock *bbValue) const
 
bool postDominate (const SVFBasicBlock *bbKey, const SVFBasicBlock *bbValue) const
 
const FunObjVargetDefFunForMultipleModule () const
 
void setBasicBlockGraph (BasicBlockGraph *graph)
 
BasicBlockGraphgetBasicBlockGraph ()
 
const BasicBlockGraphgetBasicBlockGraph () const
 
bool hasBasicBlock () const
 
const SVFBasicBlockgetEntryBlock () const
 
const SVFBasicBlockgetExitBB () const
 
void setExitBlock (SVFBasicBlock *bb)
 
u32_t arg_size () const
 
const ArgValVargetArg (u32_t idx) const
 
const SVFBasicBlockfront () const
 
const SVFBasicBlockback () const
 
const_bb_iterator begin () const
 
const_bb_iterator end () const
 
virtual bool isIsolatedNode () const
 Check if this node is isolated (no edges) in the SVFIR graph.
 
virtual const std::string toString () const
 Get string representation.
 
- Public Member Functions inherited from SVF::BaseObjVar
 BaseObjVar (NodeID i, ObjTypeInfo *ti, const SVFType *svfType, const ICFGNode *node, PNODEK ty=BaseObjNode)
 Constructor.
 
virtual const BaseObjVargetBaseMemObj () const
 
const ICFGNodegetICFGNode () const
 Get the ICFGNode related to the creation of this object.
 
const std::string getValueName () const
 Return name of a LLVM value.
 
NodeID getId () const
 Get the memory object id.
 
const SVFTypegetType () const
 Get obj type.
 
u32_t getNumOfElements () const
 Get the number of elements of this object.
 
void setNumOfElements (u32_t num)
 Set the number of elements of this object.
 
u32_t getMaxFieldOffsetLimit () const
 Get max field offset limit.
 
bool isFieldInsensitive () const
 Return true if its field limit is 0.
 
void setFieldInsensitive ()
 Set the memory object to be field insensitive.
 
void setFieldSensitive ()
 Set the memory object to be field sensitive (up to max field limit)
 
bool isBlackHoleObj () const
 Whether it is a black hole object.
 
u32_t getByteSizeOfObj () const
 Get the byte size of this object.
 
bool isConstantByteSize () const
 Check if byte size is a const value.
 
bool isFunction () const
 object attributes methods
 
bool isGlobalObj () const
 
bool isStaticObj () const
 
bool isStack () const
 
bool isHeap () const
 
bool isStruct () const
 
bool isArray () const
 
bool isVarStruct () const
 
bool isVarArray () const
 
bool isConstantStruct () const
 
bool isConstantArray () const
 
bool isConstDataOrConstGlobal () const
 
virtual bool isConstDataOrAggData () const
 Check if this variable represents constant/aggregate data.
 
void destroy ()
 Clean up memory.
 
- Public Member Functions inherited from SVF::SVFVar
 SVFVar (NodeID i, const SVFType *svfType, PNODEK k)
 Standard constructor with ID, type and kind.
 
virtual ~SVFVar ()
 Virtual destructor.
 
virtual bool isPointer () const
 Check if this variable represents a pointer.
 
virtual bool isConstDataOrAggDataButNotNullPtr () const
 Check if this variable represents constant data/metadata but not null pointer.
 
SVFStmt::SVFStmtSetTygetIncomingEdges (SVFStmt::PEDGEK kind)
 Edge accessors and checkers.
 
SVFStmt::SVFStmtSetTygetOutgoingEdges (SVFStmt::PEDGEK kind)
 
bool hasIncomingEdges (SVFStmt::PEDGEK kind) const
 
bool hasOutgoingEdges (SVFStmt::PEDGEK kind) const
 
SVFStmt::SVFStmtSetTy::iterator getIncomingEdgesBegin (SVFStmt::PEDGEK kind) const
 Edge iterators.
 
SVFStmt::SVFStmtSetTy::iterator getIncomingEdgesEnd (SVFStmt::PEDGEK kind) const
 
SVFStmt::SVFStmtSetTy::iterator getOutgoingEdgesBegin (SVFStmt::PEDGEK kind) const
 
SVFStmt::SVFStmtSetTy::iterator getOutgoingEdgesEnd (SVFStmt::PEDGEK kind) const
 
virtual bool ptrInUncalledFunction () const
 Check if this pointer is in an uncalled function.
 
void dump () const
 Debug dump to console.
 
- Public Member Functions inherited from SVF::GenericNode< NodeTy, EdgeTy >
 GenericNode (NodeID i, GNodeK k, const SVFType *svfType=nullptr)
 Constructor.
 
virtual ~GenericNode ()
 Destructor.
 
bool hasIncomingEdge () const
 Has incoming/outgoing edge set.
 
bool hasOutgoingEdge () const
 
iterator OutEdgeBegin ()
 iterators
 
iterator OutEdgeEnd ()
 
iterator InEdgeBegin ()
 
iterator InEdgeEnd ()
 
const_iterator OutEdgeBegin () const
 
const_iterator OutEdgeEnd () const
 
const_iterator InEdgeBegin () const
 
const_iterator InEdgeEnd () const
 
virtual iterator directOutEdgeBegin ()
 Iterators used for SCC detection, overwrite it in child class if necessary.
 
virtual iterator directOutEdgeEnd ()
 
virtual iterator directInEdgeBegin ()
 
virtual iterator directInEdgeEnd ()
 
virtual const_iterator directOutEdgeBegin () const
 
virtual const_iterator directOutEdgeEnd () const
 
virtual const_iterator directInEdgeBegin () const
 
virtual const_iterator directInEdgeEnd () const
 
bool addIncomingEdge (EdgeType *inEdge)
 Add incoming and outgoing edges.
 
bool addOutgoingEdge (EdgeType *outEdge)
 
EdgeTypehasIncomingEdge (EdgeType *edge) const
 Find incoming and outgoing edges.
 
EdgeTypehasOutgoingEdge (EdgeType *edge) const
 
const GEdgeSetTygetOutEdges () const
 
const GEdgeSetTygetInEdges () const
 
u32_t removeIncomingEdge (EdgeType *edge)
 
u32_t removeOutgoingEdge (EdgeType *edge)
 
- Public Member Functions inherited from SVF::SVFValue
 SVFValue (NodeID i, GNodeK k, const SVFType *ty=nullptr)
 
NodeID getId () const
 Get ID.
 
GNodeK getNodeKind () const
 Get node kind.
 
virtual void setName (const std::string &nameInfo)
 
virtual void setName (std::string &&nameInfo)
 
virtual const std::string & getName () const
 
virtual void setSourceLoc (const std::string &sourceCodeInfo)
 
virtual const std::string getSourceLoc () const
 
const std::string valueOnlyToString () const
 

Static Public Member Functions

static bool classof (const FunObjVar *)
 a 'single' basic block having no successors and containing return instruction in a function
 
static bool classof (const BaseObjVar *node)
 
static bool classof (const ObjVar *node)
 
static bool classof (const SVFVar *node)
 
static bool classof (const GenericPAGNodeTy *node)
 
static bool classof (const SVFValue *node)
 
- Static Public Member Functions inherited from SVF::BaseObjVar
static bool classof (const BaseObjVar *)
 ICFGNode related to the creation of this object.
 
static bool classof (const ObjVar *node)
 
static bool classof (const SVFVar *node)
 
static bool classof (const GenericPAGNodeTy *node)
 
static bool classof (const SVFValue *node)
 
- Static Public Member Functions inherited from SVF::ObjVar
static bool classof (const ObjVar *)
 Methods for support type inquiry through isa, cast, and dyn_cast:
 
static bool classof (const SVFVar *node)
 
static bool classof (const GenericPAGNodeTy *node)
 
static bool classof (const SVFValue *node)
 
- Static Public Member Functions inherited from SVF::SVFVar
static bool classof (const SVFVar *)
 Type checking support for LLVM-style RTTI.
 
static bool classof (const GenericPAGNodeTy *node)
 
static bool classof (const SVFValue *node)
 
- Static Public Member Functions inherited from SVF::GenericNode< NodeTy, EdgeTy >
static bool classof (const GenericNode< NodeTy, EdgeTy > *)
 
static bool classof (const SVFValue *)
 

Private Attributes

bool isDecl
 
bool intrinsic
 return true if this function does not have a body
 
bool isAddrTaken
 return true if this function is an intrinsic function (e.g., llvm.dbg), which does not reside in the application code
 
bool isUncalled
 return true if this function is address-taken (for indirect call purposes)
 
bool isNotRet
 return true if this function is never called
 
bool supVarArg
 return true if this function never returns
 
const SVFFunctionTypefuncType
 return true if this function supports variable arguments
 
SVFLoopAndDomInfoloopAndDom
 FunctionType, which is different from the type (PointerType) of this SVF Function.
 
const FunObjVarrealDefFun
 the loop and dominate information
 
BasicBlockGraphbbGraph
 the definition of a function across multiple modules
 
std::vector< const ArgValVar * > allArgs
 the basic block graph of this function
 
const SVFBasicBlockexitBlock
 all formal arguments of this function
 

Friends

class SVFIRBuilder
 
class LLVMModuleSet
 

Additional Inherited Members

- Protected Member Functions inherited from SVF::ObjVar
 ObjVar (NodeID i, const SVFType *svfType, PNODEK ty=ObjNode)
 Constructor.
 
- Protected Member Functions inherited from SVF::SVFVar
 SVFVar (NodeID i, PNODEK k)
 Empty constructor for deserialization.
 
- Static Protected Member Functions inherited from SVF::SVFValue
static bool isICFGNodeKinds (GNodeK n)
 Helper functions to check node kinds.
 
static bool isInterICFGNodeKind (GNodeK n)
 
static bool isSVFVarKind (GNodeK n)
 
static bool isValVarKinds (GNodeK n)
 
static bool isConstantDataValVar (GNodeK n)
 
static bool isObjVarKinds (GNodeK n)
 
static bool isBaseObjVarKinds (GNodeK n)
 
static bool isConstantDataObjVarKinds (GNodeK n)
 
static bool isVFGNodeKinds (GNodeK n)
 
static bool isArgumentVFGNodeKinds (GNodeK n)
 
static bool isStmtVFGNodeKinds (GNodeK n)
 
static bool isPHIVFGNodeKinds (GNodeK n)
 
static bool isMRSVFGNodeKinds (GNodeK n)
 
static bool isMSSAPHISVFGNodeKinds (GNodeK n)
 
- Protected Attributes inherited from SVF::SVFVar
SVFStmt::KindToSVFStmtMapTy InEdgeKindToSetMap
 Maps tracking incoming and outgoing edges by kind.
 
SVFStmt::KindToSVFStmtMapTy OutEdgeKindToSetMap
 
- Protected Attributes inherited from SVF::SVFValue
NodeID id
 Node ID.
 
GNodeK nodeKind
 Node kind.
 
const SVFTypetype
 SVF type.
 
std::string name
 
std::string sourceLoc
 Source code information of this value.
 

Detailed Description

Definition at line 908 of file SVFVariables.h.

Member Typedef Documentation

◆ BBList

Definition at line 915 of file SVFVariables.h.

◆ BBSet

Definition at line 914 of file SVFVariables.h.

◆ const_bb_iterator

typedef BasicBlockGraph::IDToNodeMapTy::const_iterator SVF::FunObjVar::const_bb_iterator

Definition at line 918 of file SVFVariables.h.

◆ LoopBBs

Definition at line 916 of file SVFVariables.h.

Constructor & Destructor Documentation

◆ FunObjVar()

FunObjVar::FunObjVar ( NodeID  i,
ObjTypeInfo ti,
const SVFType svfType,
const ICFGNode node 
)

Constructor.

Definition at line 443 of file SVFVariables.cpp.

444 : BaseObjVar(i, ti, svfType, node, FunObjNode)
445{
446}
llvm::IRBuilder IRBuilder
Definition BasicTypes.h:74

◆ ~FunObjVar()

virtual SVF::FunObjVar::~FunObjVar ( )
inlinevirtual

Definition at line 968 of file SVFVariables.h.

969 {
970 delete loopAndDom;
971 delete bbGraph;
972 }
SVFLoopAndDomInfo * loopAndDom
FunctionType, which is different from the type (PointerType) of this SVF Function.
BasicBlockGraph * bbGraph
the definition of a function across multiple modules

Member Function Documentation

◆ addArgument()

void SVF::FunObjVar::addArgument ( const ArgValVar arg)
inline

Definition at line 985 of file SVFVariables.h.

986 {
987 allArgs.push_back(arg);
988 }
std::vector< const ArgValVar * > allArgs
the basic block graph of this function

◆ arg_size()

u32_t SVF::FunObjVar::arg_size ( ) const
inline

Definition at line 1139 of file SVFVariables.h.

1140 {
1141 return allArgs.size();
1142 }

◆ back()

const SVFBasicBlock * SVF::FunObjVar::back ( ) const
inline

Carefully! 'back' is just the last basic block of function, but not necessarily a exit basic block more refer to: https://github.com/SVF-tools/SVF/pull/1262

Definition at line 1155 of file SVFVariables.h.

1156 {
1157 assert(hasBasicBlock() && "function does not have any Basicblock, external function?");
1161 return std::prev(bbGraph->end())->second;
1162 }
bool hasBasicBlock() const

◆ begin()

const_bb_iterator SVF::FunObjVar::begin ( ) const
inline

Definition at line 1164 of file SVFVariables.h.

1165 {
1166 return bbGraph->begin();
1167 }
iterator begin()
Iterators.

◆ classof() [1/6]

static bool SVF::FunObjVar::classof ( const BaseObjVar node)
inlinestatic

Definition at line 942 of file SVFVariables.h.

943 {
944 return node->getNodeKind() == FunObjNode;
945 }

◆ classof() [2/6]

static bool SVF::FunObjVar::classof ( const FunObjVar )
inlinestatic

a 'single' basic block having no successors and containing return instruction in a function

Methods for support type inquiry through isa, cast, and dyn_cast:

Definition at line 938 of file SVFVariables.h.

939 {
940 return true;
941 }

◆ classof() [3/6]

static bool SVF::FunObjVar::classof ( const GenericPAGNodeTy node)
inlinestatic

Definition at line 954 of file SVFVariables.h.

955 {
956 return node->getNodeKind() == FunObjNode;
957 }

◆ classof() [4/6]

static bool SVF::FunObjVar::classof ( const ObjVar node)
inlinestatic

Definition at line 946 of file SVFVariables.h.

947 {
948 return node->getNodeKind() == FunObjNode;
949 }

◆ classof() [5/6]

static bool SVF::FunObjVar::classof ( const SVFValue node)
inlinestatic

Definition at line 958 of file SVFVariables.h.

959 {
960 return node->getNodeKind() == FunObjNode;
961 }

◆ classof() [6/6]

static bool SVF::FunObjVar::classof ( const SVFVar node)
inlinestatic

Definition at line 950 of file SVFVariables.h.

951 {
952 return node->getNodeKind() == FunObjNode;
953 }

◆ dominate()

bool SVF::FunObjVar::dominate ( const SVFBasicBlock bbKey,
const SVFBasicBlock bbValue 
) const
inline

Definition at line 1081 of file SVFVariables.h.

1082 {
1084 }
bool dominate(const SVFBasicBlock *bbKey, const SVFBasicBlock *bbValue) const
Definition SVFValue.cpp:96

◆ end()

const_bb_iterator SVF::FunObjVar::end ( ) const
inline

Definition at line 1169 of file SVFVariables.h.

1170 {
1171 return bbGraph->end();
1172 }

◆ front()

const SVFBasicBlock * SVF::FunObjVar::front ( ) const
inline

Definition at line 1150 of file SVFVariables.h.

1151 {
1152 return getEntryBlock();
1153 }
const SVFBasicBlock * getEntryBlock() const

◆ getArg()

const ArgValVar * SVF::FunObjVar::getArg ( u32_t  idx) const
inline

Definition at line 1144 of file SVFVariables.h.

1145 {
1146 assert (idx < allArgs.size() && "getArg() out of range!");
1147 return allArgs[idx];
1148 }

◆ getBasicBlockGraph() [1/2]

BasicBlockGraph * SVF::FunObjVar::getBasicBlockGraph ( )
inline

Definition at line 1103 of file SVFVariables.h.

1104 {
1105 return bbGraph;
1106 }

◆ getBasicBlockGraph() [2/2]

const BasicBlockGraph * SVF::FunObjVar::getBasicBlockGraph ( ) const
inline

Definition at line 1108 of file SVFVariables.h.

1109 {
1110 return bbGraph;
1111 }

◆ getDefFunForMultipleModule()

const FunObjVar * SVF::FunObjVar::getDefFunForMultipleModule ( ) const
inline

Definition at line 1091 of file SVFVariables.h.

1092 {
1093 if(realDefFun==nullptr)
1094 return this;
1095 return realDefFun;
1096 }
const FunObjVar * realDefFun
the loop and dominate information

◆ getDomFrontierMap()

const Map< const SVFBasicBlock *, BBSet > & SVF::FunObjVar::getDomFrontierMap ( ) const
inline

Definition at line 1071 of file SVFVariables.h.

1072 {
1073 return loopAndDom->getDomFrontierMap();
1074 }
const Map< const SVFBasicBlock *, BBSet > & getDomFrontierMap() const

◆ getDomTreeMap()

const Map< const SVFBasicBlock *, BBSet > & SVF::FunObjVar::getDomTreeMap ( ) const
inline

Definition at line 1066 of file SVFVariables.h.

1067 {
1068 return loopAndDom->getDomTreeMap();
1069 }
Map< const SVFBasicBlock *, BBSet > & getDomTreeMap()

◆ getEntryBlock()

const SVFBasicBlock * SVF::FunObjVar::getEntryBlock ( ) const
inline

Definition at line 1118 of file SVFVariables.h.

1119 {
1120 assert(hasBasicBlock() && "function does not have any Basicblock, external function?");
1121 assert(bbGraph->begin()->second->getInEdges().size() == 0 && "the first basic block is not entry block");
1122 return bbGraph->begin()->second;
1123 }

◆ getExitBB()

const SVFBasicBlock * SVF::FunObjVar::getExitBB ( ) const
inline

Definition at line 1125 of file SVFVariables.h.

1126 {
1127 assert(hasBasicBlock() && "function does not have any Basicblock, external function?");
1128 assert(exitBlock && "must have an exitBlock");
1129 return exitBlock;
1130 }
const SVFBasicBlock * exitBlock
all formal arguments of this function

◆ getExitBlocksOfLoop()

void SVF::FunObjVar::getExitBlocksOfLoop ( const SVFBasicBlock bb,
BBList exitbbs 
) const
inline

Definition at line 1041 of file SVFVariables.h.

1042 {
1044 }
void getExitBlocksOfLoop(const SVFBasicBlock *bb, BBList &exitbbs) const
Definition SVFValue.cpp:77

◆ getFunction()

const FunObjVar * FunObjVar::getFunction ( ) const
virtual

Get containing function, or null for globals/constants.

Reimplemented from SVF::BaseObjVar.

Definition at line 472 of file SVFVariables.cpp.

473{
474 return this;
475}

◆ getFunctionType()

const SVFFunctionType * SVF::FunObjVar::getFunctionType ( ) const
inline

Returns the FunctionType.

Definition at line 1020 of file SVFVariables.h.

1021 {
1022 return funcType;
1023 }
const SVFFunctionType * funcType
return true if this function supports variable arguments

◆ getLoopAndDomInfo()

SVFLoopAndDomInfo * SVF::FunObjVar::getLoopAndDomInfo ( ) const
inline

Definition at line 1031 of file SVFVariables.h.

1032 {
1033 return loopAndDom;
1034 }

◆ getLoopHeader()

const SVFBasicBlock * SVF::FunObjVar::getLoopHeader ( const BBList lp) const
inline

Definition at line 1056 of file SVFVariables.h.

1057 {
1058 return loopAndDom->getLoopHeader(lp);
1059 }
const SVFBasicBlock * getLoopHeader(const LoopBBs &lp) const

◆ getLoopInfo()

const LoopBBs & SVF::FunObjVar::getLoopInfo ( const SVFBasicBlock bb) const
inline

Definition at line 1051 of file SVFVariables.h.

1052 {
1053 return loopAndDom->getLoopInfo(bb);
1054 }
const LoopBBs & getLoopInfo(const SVFBasicBlock *bb) const
Definition SVFValue.cpp:70

◆ getReachableBBs()

const std::vector< const SVFBasicBlock * > & SVF::FunObjVar::getReachableBBs ( ) const
inline

Definition at line 1036 of file SVFVariables.h.

1037 {
1038 return loopAndDom->getReachableBBs();
1039 }
const BBList & getReachableBBs() const

◆ getReturnType()

const SVFType * SVF::FunObjVar::getReturnType ( ) const
inline

Returns the FunctionType.

Definition at line 1026 of file SVFVariables.h.

1027 {
1028 return funcType->getReturnType();
1029 }
const SVFType * getReturnType() const
Definition SVFType.h:335

◆ hasAddressTaken()

bool SVF::FunObjVar::hasAddressTaken ( ) const
inline

Definition at line 999 of file SVFVariables.h.

1000 {
1001 return isAddrTaken;
1002 }
bool isAddrTaken
return true if this function is an intrinsic function (e.g., llvm.dbg), which does not reside in the ...

◆ hasBasicBlock()

bool SVF::FunObjVar::hasBasicBlock ( ) const
inline

Definition at line 1113 of file SVFVariables.h.

1114 {
1115 return bbGraph && bbGraph->begin() != bbGraph->end();
1116 }

◆ hasLoopInfo()

bool SVF::FunObjVar::hasLoopInfo ( const SVFBasicBlock bb) const
inline

Definition at line 1046 of file SVFVariables.h.

1047 {
1048 return loopAndDom->hasLoopInfo(bb);
1049 }
bool hasLoopInfo(const SVFBasicBlock *bb) const

◆ hasReturn()

bool SVF::FunObjVar::hasReturn ( ) const
inline

Definition at line 1014 of file SVFVariables.h.

1015 {
1016 return !isNotRet;
1017 }
bool isNotRet
return true if this function is never called

◆ initFunObjVar()

void FunObjVar::initFunObjVar ( bool  decl,
bool  intrinc,
bool  addr,
bool  uncalled,
bool  notret,
bool  vararg,
const SVFFunctionType ft,
SVFLoopAndDomInfo ld,
const FunObjVar real,
BasicBlockGraph bbg,
const std::vector< const ArgValVar * > &  allarg,
const SVFBasicBlock exit 
)

Definition at line 448 of file SVFVariables.cpp.

451{
452 isDecl = decl;
458 funcType = ft;
459 loopAndDom = ld;
461 bbGraph = bbg;
462 allArgs = allarg;
463 exitBlock = exit;
464}
bool supVarArg
return true if this function never returns
bool intrinsic
return true if this function does not have a body
bool isUncalled
return true if this function is address-taken (for indirect call purposes)

◆ isDeclaration()

bool SVF::FunObjVar::isDeclaration ( ) const
inline

Definition at line 989 of file SVFVariables.h.

990 {
991 return isDecl;
992 }

◆ isIntrinsic()

bool SVF::FunObjVar::isIntrinsic ( ) const
inline

Definition at line 994 of file SVFVariables.h.

995 {
996 return intrinsic;
997 }

◆ isIsolatedNode()

bool FunObjVar::isIsolatedNode ( ) const
virtual

Check if this node is isolated (no edges) in the SVFIR graph.

Reimplemented from SVF::SVFVar.

Definition at line 467 of file SVFVariables.cpp.

468{
469 return isIntrinsic();
470}
bool isIntrinsic() const

◆ isLoopHeader()

bool SVF::FunObjVar::isLoopHeader ( const SVFBasicBlock bb) const
inline

Definition at line 1076 of file SVFVariables.h.

1077 {
1078 return loopAndDom->isLoopHeader(bb);
1079 }
bool isLoopHeader(const SVFBasicBlock *bb) const
Definition SVFValue.cpp:183

◆ isUncalledFunction()

bool SVF::FunObjVar::isUncalledFunction ( ) const
inline

Definition at line 1009 of file SVFVariables.h.

1010 {
1011 return isUncalled;
1012 }

◆ isVarArg()

bool SVF::FunObjVar::isVarArg ( ) const
inline

Definition at line 1004 of file SVFVariables.h.

1005 {
1006 return supVarArg;
1007 }

◆ loopContainsBB()

bool SVF::FunObjVar::loopContainsBB ( const BBList lp,
const SVFBasicBlock bb 
) const
inline

Definition at line 1061 of file SVFVariables.h.

1062 {
1063 return loopAndDom->loopContainsBB(lp,bb);
1064 }
bool loopContainsBB(const LoopBBs &lp, const SVFBasicBlock *bb) const

◆ postDominate()

bool SVF::FunObjVar::postDominate ( const SVFBasicBlock bbKey,
const SVFBasicBlock bbValue 
) const
inline

Definition at line 1086 of file SVFVariables.h.

1087 {
1089 }
bool postDominate(const SVFBasicBlock *bbKey, const SVFBasicBlock *bbValue) const
Definition SVFValue.cpp:127

◆ setBasicBlockGraph()

void SVF::FunObjVar::setBasicBlockGraph ( BasicBlockGraph graph)
inline

Definition at line 1098 of file SVFVariables.h.

1099 {
1100 this->bbGraph = graph;
1101 }

◆ setExitBlock()

void SVF::FunObjVar::setExitBlock ( SVFBasicBlock bb)
inline

Definition at line 1132 of file SVFVariables.h.

1133 {
1134 assert(!exitBlock && "have already set exit Basicblock!");
1135 exitBlock = bb;
1136 }

◆ setRelDefFun()

void SVF::FunObjVar::setRelDefFun ( const FunObjVar real)
inline

Definition at line 978 of file SVFVariables.h.

979 {
981 }

◆ toString()

const std::string FunObjVar::toString ( ) const
virtual

Get string representation.

Reimplemented from SVF::BaseObjVar.

Definition at line 477 of file SVFVariables.cpp.

478{
479 std::string str;
480 std::stringstream rawstr(str);
481 rawstr << "FunObjVar ID: " << getId() << " (base object)";
483 {
484 rawstr << "\n";
485 rawstr << getName();
486 }
487 return rawstr.str();
488}
NodeID getId() const
Get the memory object id.
static const Option< bool > ShowSVFIRValue
Definition Options.h:119
virtual const std::string & getName() const
Definition SVFValue.h:186

Friends And Related Symbol Documentation

◆ LLVMModuleSet

Definition at line 911 of file SVFVariables.h.

◆ SVFIRBuilder

Definition at line 910 of file SVFVariables.h.

Member Data Documentation

◆ allArgs

std::vector<const ArgValVar*> SVF::FunObjVar::allArgs
private

the basic block graph of this function

Definition at line 932 of file SVFVariables.h.

◆ bbGraph

BasicBlockGraph* SVF::FunObjVar::bbGraph
private

the definition of a function across multiple modules

Definition at line 931 of file SVFVariables.h.

◆ exitBlock

const SVFBasicBlock* SVF::FunObjVar::exitBlock
private

all formal arguments of this function

Definition at line 933 of file SVFVariables.h.

◆ funcType

const SVFFunctionType* SVF::FunObjVar::funcType
private

return true if this function supports variable arguments

Definition at line 928 of file SVFVariables.h.

◆ intrinsic

bool SVF::FunObjVar::intrinsic
private

return true if this function does not have a body

Definition at line 923 of file SVFVariables.h.

◆ isAddrTaken

bool SVF::FunObjVar::isAddrTaken
private

return true if this function is an intrinsic function (e.g., llvm.dbg), which does not reside in the application code

Definition at line 924 of file SVFVariables.h.

◆ isDecl

bool SVF::FunObjVar::isDecl
private

Definition at line 922 of file SVFVariables.h.

◆ isNotRet

bool SVF::FunObjVar::isNotRet
private

return true if this function is never called

Definition at line 926 of file SVFVariables.h.

◆ isUncalled

bool SVF::FunObjVar::isUncalled
private

return true if this function is address-taken (for indirect call purposes)

Definition at line 925 of file SVFVariables.h.

◆ loopAndDom

SVFLoopAndDomInfo* SVF::FunObjVar::loopAndDom
private

FunctionType, which is different from the type (PointerType) of this SVF Function.

Definition at line 929 of file SVFVariables.h.

◆ realDefFun

const FunObjVar* SVF::FunObjVar::realDefFun
private

the loop and dominate information

Definition at line 930 of file SVFVariables.h.

◆ supVarArg

bool SVF::FunObjVar::supVarArg
private

return true if this function never returns

Definition at line 927 of file SVFVariables.h.


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