Static Value-Flow Analysis
Public Member Functions | Static Public Member Functions | Private Attributes | List of all members
SVF::InterMSSAPHISVFGNode Class Reference

#include <SVFGNode.h>

Inheritance diagram for SVF::InterMSSAPHISVFGNode:
SVF::MSSAPHISVFGNode SVF::MRSVFGNode SVF::VFGNode SVF::GenericNode< NodeTy, EdgeTy > SVF::SVFBaseNode

Public Member Functions

 InterMSSAPHISVFGNode (NodeID id, const FormalINSVFGNode *fi)
 Constructor interPHI for formal parameter. More...
 
 InterMSSAPHISVFGNode (NodeID id, const ActualOUTSVFGNode *ao)
 Constructor interPHI for actual return. More...
 
bool isFormalINPHI () const
 
bool isActualOUTPHI () const
 
const SVFFunctiongetFun () const
 Get the function of this SVFGNode. More...
 
const CallICFGNodegetCallSite () const
 
virtual const std::string toString () const
 
- Public Member Functions inherited from SVF::MSSAPHISVFGNode
 MSSAPHISVFGNode (NodeID id, const MRVer *resVer, VFGNodeK k=MPhi)
 Constructor. More...
 
const MRVergetResVer () const
 Ver. More...
 
const MRVergetOpVer (u32_t pos) const
 MSSA phi operands. More...
 
void setOpVer (u32_t pos, const MRVer *node)
 
u32_t getOpVerNum () const
 
OPVers::const_iterator opVerBegin () const
 
OPVers::const_iterator opVerEnd () const
 
- Public Member Functions inherited from SVF::MRSVFGNode
const NodeBSgetPointsTo () const
 Return points-to of the MR. More...
 
const NodeBS getDefSVFVars () const override
 Return the left hand side SVF Vars. More...
 
- Public Member Functions inherited from SVF::VFGNode
 VFGNode (NodeID i, VFGNodeK k)
 Constructor. More...
 
virtual const ICFGNodegetICFGNode () const
 Return corresponding ICFG node. More...
 
virtual void setICFGNode (const ICFGNode *node)
 Set corresponding ICFG node. More...
 
virtual const SVFValuegetValue () const
 Return the corresponding LLVM value, if possible, nullptr otherwise. More...
 
- Public Member Functions inherited from SVF::GenericNode< NodeTy, EdgeTy >
 GenericNode (NodeID i, GNodeK k)
 Constructor. More...
 
virtual ~GenericNode ()
 Destructor. More...
 
bool hasIncomingEdge () const
 Has incoming/outgoing edge set. More...
 
bool hasOutgoingEdge () const
 
iterator OutEdgeBegin ()
 iterators More...
 
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. More...
 
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. More...
 
bool addOutgoingEdge (EdgeType *outEdge)
 
EdgeTypehasIncomingEdge (EdgeType *edge) const
 Find incoming and outgoing edges. More...
 
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::SVFBaseNode
 SVFBaseNode (NodeID i, GNodeK k, SVFType *ty=nullptr)
 
NodeID getId () const
 Get ID. More...
 
GNodeK getNodeKind () const
 Get node kind. More...
 
virtual const SVFTypegetType () 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 InterMSSAPHISVFGNode *)
 Methods for support type inquiry through isa, cast, and dyn_cast: More...
 
static bool classof (const MSSAPHISVFGNode *node)
 
static bool classof (const MRSVFGNode *node)
 
static bool classof (const VFGNode *node)
 
static bool classof (const GenericVFGNodeTy *node)
 
- Static Public Member Functions inherited from SVF::MSSAPHISVFGNode
static bool classof (const MSSAPHISVFGNode *)
 Methods for support type inquiry through isa, cast, and dyn_cast: More...
 
static bool classof (const MRSVFGNode *node)
 
static bool classof (const VFGNode *node)
 
static bool classof (const GenericVFGNodeTy *node)
 
- Static Public Member Functions inherited from SVF::MRSVFGNode
static bool classof (const MRSVFGNode *)
 Methods for support type inquiry through isa, cast, and dyn_cast: More...
 
static bool classof (const VFGNode *node)
 
static bool classof (const GenericVFGNodeTy *node)
 
- Static Public Member Functions inherited from SVF::VFGNode
static bool classof (const VFGNode *)
 
static bool classof (const GenericVFGNodeTy *node)
 
static bool classof (const SVFBaseNode *node)
 
- Static Public Member Functions inherited from SVF::GenericNode< NodeTy, EdgeTy >
static bool classof (const GenericNode< NodeTy, EdgeTy > *)
 
static bool classof (const SVFBaseNode *)
 

Private Attributes

const SVFFunctionfun
 
const CallICFGNodecallInst
 

Additional Inherited Members

- Public Types inherited from SVF::MSSAPHISVFGNode
typedef Map< u32_t, const MRVer * > OPVers
 
- Public Types inherited from SVF::VFGNode
typedef GNodeK VFGNodeK
 
typedef VFGEdge::VFGEdgeSetTy::iterator iterator
 
typedef VFGEdge::VFGEdgeSetTy::const_iterator const_iterator
 
typedef Set< const CallPE * > CallPESet
 
typedef Set< const RetPE * > RetPESet
 
- Public Types inherited from SVF::GenericNode< NodeTy, EdgeTy >
typedef NodeTy NodeType
 
typedef EdgeTy EdgeType
 
typedef OrderedSet< EdgeType *, typename EdgeType::equalGEdge > GEdgeSetTy
 Edge kind. More...
 
typedef GEdgeSetTy::iterator iterator
 
typedef GEdgeSetTy::const_iterator const_iterator
 
- Public Types inherited from SVF::SVFBaseNode
enum  GNodeK {
  IntraBlock , GlobalBlock , FunEntryBlock , FunExitBlock ,
  FunCallBlock , FunRetBlock , ValNode , GepValNode ,
  RetNode , VarargNode , DummyValNode , ObjNode ,
  GepObjNode , FIObjNode , 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 , OtherKd
}
 
- Protected Member Functions inherited from SVF::MRSVFGNode
 MRSVFGNode (NodeID id, VFGNodeK k)
 
- Static Protected Member Functions inherited from SVF::SVFBaseNode
static bool isICFGNodeKinds (GNodeK n)
 Helper functions to check node kinds. More...
 
static bool isInterICFGNodeKind (GNodeK n)
 
static bool isSVFVarKind (GNodeK n)
 
static bool isValVarKinds (GNodeK n)
 
static bool isObjVarKinds (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::MSSAPHISVFGNode
const MRVerver
 
OPVers opVers
 
- Protected Attributes inherited from SVF::MRSVFGNode
NodeBS cpts
 
- Protected Attributes inherited from SVF::VFGNode
const ICFGNodeicfgNode
 
- Protected Attributes inherited from SVF::SVFBaseNode
NodeID id
 Node ID. More...
 
GNodeK nodeKind
 Node kind. More...
 
const SVFTypetype
 SVF type. More...
 
std::string sourceLoc
 Source code information of this value. More...
 

Detailed Description

Definition at line 392 of file SVFGNode.h.

Constructor & Destructor Documentation

◆ InterMSSAPHISVFGNode() [1/2]

SVF::InterMSSAPHISVFGNode::InterMSSAPHISVFGNode ( NodeID  id,
const FormalINSVFGNode fi 
)
inline

Constructor interPHI for formal parameter.

Definition at line 397 of file SVFGNode.h.

397 : MSSAPHISVFGNode(id, fi->getMRVer(), MInterPhi),fun(fi->getFun()),callInst(nullptr) {}
const SVFFunction * fun
Definition: SVFGNode.h:450
const CallICFGNode * callInst
Definition: SVFGNode.h:451
MSSAPHISVFGNode(NodeID id, const MRVer *resVer, VFGNodeK k=MPhi)
Constructor.
Definition: SVFGNode.h:275

◆ InterMSSAPHISVFGNode() [2/2]

SVF::InterMSSAPHISVFGNode::InterMSSAPHISVFGNode ( NodeID  id,
const ActualOUTSVFGNode ao 
)
inline

Constructor interPHI for actual return.

Definition at line 399 of file SVFGNode.h.

399 : MSSAPHISVFGNode(id, ao->getMRVer(), MInterPhi), fun(nullptr),callInst(ao->getCallSite()) {}

Member Function Documentation

◆ classof() [1/5]

static bool SVF::InterMSSAPHISVFGNode::classof ( const GenericVFGNodeTy node)
inlinestatic

Definition at line 441 of file SVFGNode.h.

442  {
443  return node->getNodeKind() == MInterPhi;
444  }

◆ classof() [2/5]

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

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

Definition at line 425 of file SVFGNode.h.

426  {
427  return true;
428  }

◆ classof() [3/5]

static bool SVF::InterMSSAPHISVFGNode::classof ( const MRSVFGNode node)
inlinestatic

Definition at line 433 of file SVFGNode.h.

434  {
435  return node->getNodeKind() == MInterPhi;
436  }

◆ classof() [4/5]

static bool SVF::InterMSSAPHISVFGNode::classof ( const MSSAPHISVFGNode node)
inlinestatic

Definition at line 429 of file SVFGNode.h.

430  {
431  return node->getNodeKind() == MInterPhi;
432  }

◆ classof() [5/5]

static bool SVF::InterMSSAPHISVFGNode::classof ( const VFGNode node)
inlinestatic

Definition at line 437 of file SVFGNode.h.

438  {
439  return node->getNodeKind() == MInterPhi;
440  }

◆ getCallSite()

const CallICFGNode* SVF::InterMSSAPHISVFGNode::getCallSite ( ) const
inline

Definition at line 417 of file SVFGNode.h.

418  {
419  assert(isActualOUTPHI() && "expect a actual return phi");
420  return callInst;
421  }
bool isActualOUTPHI() const
Definition: SVFGNode.h:406

◆ getFun()

const SVFFunction* SVF::InterMSSAPHISVFGNode::getFun ( ) const
inlinevirtual

Get the function of this SVFGNode.

Reimplemented from SVF::VFGNode.

Definition at line 411 of file SVFGNode.h.

412  {
413  assert(isFormalINPHI() && "expect a formal parameter phi");
414  return fun;
415  }
bool isFormalINPHI() const
Definition: SVFGNode.h:401

◆ isActualOUTPHI()

bool SVF::InterMSSAPHISVFGNode::isActualOUTPHI ( ) const
inline

Definition at line 406 of file SVFGNode.h.

407  {
408  return (fun==nullptr) && (callInst != nullptr);
409  }

◆ isFormalINPHI()

bool SVF::InterMSSAPHISVFGNode::isFormalINPHI ( ) const
inline

Definition at line 401 of file SVFGNode.h.

402  {
403  return (fun!=nullptr) && (callInst == nullptr);
404  }

◆ toString()

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

Reimplemented from SVF::MSSAPHISVFGNode.

Definition at line 138 of file SVFG.cpp.

139 {
140  std::string str;
141  std::stringstream rawstr(str);
142  if(isFormalINPHI())
143  rawstr << "FormalINPHISVFGNode ID: " << getId() << " {fun: " << getFun()->getName() << "}";
144  else
145  rawstr << "ActualOUTPHISVFGNode ID: " << getId() << " at callsite: " << (getCallSite())->valueOnlyToString() << " {fun: " << getFun()->getName() << "}";
146  rawstr << MSSAPHISVFGNode::toString();
147  return rawstr.str();
148 }
const char *const string
Definition: cJSON.h:172
const SVFFunction * getFun() const
Get the function of this SVFGNode.
Definition: SVFGNode.h:411
const CallICFGNode * getCallSite() const
Definition: SVFGNode.h:417
virtual const std::string toString() const
Definition: SVFG.cpp:101
NodeID getId() const
Get ID.
Definition: GenericGraph.h:260
const std::string valueOnlyToString() const
Definition: LLVMUtil.cpp:688
const std::string & getName() const
Definition: SVFValue.h:243

Member Data Documentation

◆ callInst

const CallICFGNode* SVF::InterMSSAPHISVFGNode::callInst
private

Definition at line 451 of file SVFGNode.h.

◆ fun

const SVFFunction* SVF::InterMSSAPHISVFGNode::fun
private

Definition at line 450 of file SVFGNode.h.


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