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

#include <SVFVariables.h>

Inheritance diagram for SVF::ConstNullPtrObjVar:
SVF::ConstDataObjVar SVF::BaseObjVar SVF::ObjVar SVF::SVFVar SVF::GenericNode< SVFVar, SVFStmt > SVF::SVFValue

Public Member Functions

 ConstNullPtrObjVar (NodeID i, ObjTypeInfo *ti, const ICFGNode *node)
 Constructor.
virtual bool isConstDataOrAggDataButNotNullPtr () const
 Check if this variable represents constant data/metadata but not null pointer.
virtual const std::string toString () const
 Get string representation.
Public Member Functions inherited from SVF::ConstDataObjVar
 ConstDataObjVar (NodeID i, ObjTypeInfo *ti, const ICFGNode *node, PNODEK ty=ConstDataObjNode)
 Constructor.
virtual bool isConstDataOrAggData () const
 Check if this variable represents constant/aggregate data.
Public Member Functions inherited from SVF::BaseObjVar
 BaseObjVar (NodeID i, ObjTypeInfo *ti, const ICFGNode *node, PNODEK ty=BaseObjNode)
 Constructor.
virtual const BaseObjVar * getBaseMemObj () const
const ObjTypeInfo * getTypeInfo () const
ObjTypeInfo * getTypeInfo ()
const ICFGNode * getICFGNode () 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 SVFType * getType () 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
void destroy ()
 Clean up memory.
virtual const FunObjVar * getFunction () const
 Get containing function, or null for globals/constants.
Public Member Functions inherited from SVF::ObjVar
std::string getObjVarNodeFieldsStmt () const
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 isIsolatedNode () const
 Check if this node is isolated (no edges) in the SVFIR graph.
SVFStmt::SVFStmtSetTy & getIncomingEdges (SVFStmt::PEDGEK kind)
 Edge accessors and checkers.
SVFStmt::SVFStmtSetTy & getOutgoingEdges (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< SVFVar, SVFStmt >
 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)
EdgeType * hasIncomingEdge (EdgeType *edge) const
 Find incoming and outgoing edges.
EdgeType * hasOutgoingEdge (EdgeType *edge) const
const GEdgeSetTy & getOutEdges () const
const GEdgeSetTy & getInEdges () 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
const bool hasLLVMValue () const

Static Public Member Functions

static bool classof (const ConstNullPtrObjVar *)
static bool classof (const ConstDataObjVar *node)
static bool classof (const BaseObjVar *node)
static bool classof (const SVFVar *node)
static bool classof (const ObjVar *node)
static bool classof (const GenericPAGNodeTy *node)
static bool classof (const SVFValue *node)
Static Public Member Functions inherited from SVF::ConstDataObjVar
static bool classof (const ConstDataObjVar *)
static bool classof (const BaseObjVar *node)
static bool classof (const SVFVar *node)
static bool classof (const ObjVar *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< SVFVar, SVFStmt >
static bool classof (const GenericNode< SVFVar, SVFStmt > *)
static bool classof (const SVFValue *)

Friends

class GraphDBClient

Additional Inherited Members

Public Types inherited from SVF::SVFVar
typedef GNodeK PNODEK
typedef s64_t GEdgeKind
Public Types inherited from SVF::GenericNode< SVFVar, SVFStmt >
typedef SVFVar NodeType
typedef SVFStmt 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 , ConstDataValNode , BlackHoleValNode , ConstFPValNode ,
  ConstIntValNode , ConstNullptrValNode , DummyValNode , IntrinsicValNode ,
  AsmPCValNode , ObjNode , GepObjNode , BaseObjNode ,
  FunObjNode , HeapObjNode , StackObjNode , GlobalObjNode ,
  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 ,
  BasicBlockKd , OtherKd
}
Protected Member Functions inherited from SVF::ObjVar
 ObjVar (NodeID i, const SVFType *svfType, PNODEK ty=ObjNode)
 Constructor.
Protected Member Functions inherited from SVF::SVFVar
const SVFStmt::KindToSVFStmtMapTy & getInEdgeKindToSetMap () const
const SVFStmt::KindToSVFStmtMapTy & getOutEdgeKindToSetMap () const
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 SVFType * type
 SVF type.
std::string name
std::string sourceLoc
 Source code information of this value.

Detailed Description

Definition at line 1855 of file SVFVariables.h.

Constructor & Destructor Documentation

◆ ConstNullPtrObjVar()

SVF::ConstNullPtrObjVar::ConstNullPtrObjVar ( NodeID i,
ObjTypeInfo * ti,
const ICFGNode * node )
inline

Constructor.

Definition at line 1897 of file SVFVariables.h.

1898 : ConstDataObjVar(i, ti, node, ConstNullptrObjNode)
1899 {
1900 }
SVF::ConstDataObjVar::ConstDataObjVar
ConstDataObjVar(NodeID i, ObjTypeInfo *ti, const ICFGNode *node, PNODEK ty=ConstDataObjNode)
Constructor.
Definition SVFVariables.h:1710
SVF::SVFValue::ConstNullptrObjNode
@ ConstNullptrObjNode
Definition SVFValue.h:98

Member Function Documentation

◆ classof() [1/7]

bool SVF::ConstNullPtrObjVar::classof ( const BaseObjVar * node)
inlinestatic

Definition at line 1872 of file SVFVariables.h.

1873 {
1874 return node->getNodeKind() == SVFVar::ConstNullptrObjNode;
1875 }

◆ classof() [2/7]

bool SVF::ConstNullPtrObjVar::classof ( const ConstDataObjVar * node)
inlinestatic

Definition at line 1867 of file SVFVariables.h.

1868 {
1869 return node->getNodeKind() == SVFVar::ConstNullptrObjNode;
1870 }

◆ classof() [3/7]

bool SVF::ConstNullPtrObjVar::classof ( const ConstNullPtrObjVar * )
inlinestatic

Definition at line 1862 of file SVFVariables.h.

1863 {
1864 return true;
1865 }

◆ classof() [4/7]

bool SVF::ConstNullPtrObjVar::classof ( const GenericPAGNodeTy * node)
inlinestatic

Definition at line 1885 of file SVFVariables.h.

1886 {
1887 return node->getNodeKind() == SVFVar::ConstNullptrObjNode;
1888 }

◆ classof() [5/7]

bool SVF::ConstNullPtrObjVar::classof ( const ObjVar * node)
inlinestatic

Definition at line 1881 of file SVFVariables.h.

1882 {
1883 return node->getNodeKind() == SVFVar::ConstNullptrObjNode;
1884 }

◆ classof() [6/7]

bool SVF::ConstNullPtrObjVar::classof ( const SVFValue * node)
inlinestatic

Definition at line 1890 of file SVFVariables.h.

1891 {
1892 return node->getNodeKind() == SVFVar::ConstNullptrObjNode;
1893 }

◆ classof() [7/7]

bool SVF::ConstNullPtrObjVar::classof ( const SVFVar * node)
inlinestatic

Definition at line 1877 of file SVFVariables.h.

1878 {
1879 return node->getNodeKind() == SVFVar::ConstNullptrObjNode;
1880 }

◆ isConstDataOrAggDataButNotNullPtr()

virtual bool SVF::ConstNullPtrObjVar::isConstDataOrAggDataButNotNullPtr ( ) const
inlinevirtual

Check if this variable represents constant data/metadata but not null pointer.

Reimplemented from SVF::ConstDataObjVar.

Definition at line 1901 of file SVFVariables.h.

1902 {
1903 return false;
1904 }

◆ toString()

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

Get string representation.

Reimplemented from SVF::ConstDataObjVar.

Definition at line 444 of file SVFVariables.cpp.

445{
446 std::string str;
447 std::stringstream rawstr(str);
448 rawstr << "ConstNullPtrObjVar ID: " << getId();
449 if (Options::ShowSVFIRValue())
450 {
451 rawstr << "\n";
452 rawstr << valueOnlyToString();
453 }
454 return rawstr.str();
455}
SVF::BaseObjVar::getId
NodeID getId() const
Get the memory object id.
Definition SVFVariables.h:627
SVF::Options::ShowSVFIRValue
static const Option< bool > ShowSVFIRValue
Definition Options.h:119
SVF::SVFValue::valueOnlyToString
const std::string valueOnlyToString() const
Definition LLVMUtil.cpp:751

◆ GraphDBClient

friend class GraphDBClient
friend

Definition at line 1858 of file SVFVariables.h.

The documentation for this class was generated from the following files:
Generated by doxygen 1.15.0