Static Value-Flow Analysis
Public Member Functions | Static Public Member Functions | Friends | List of all members
SVF::SVFConstantNullPtr Class Reference

#include <SVFValue.h>

Inheritance diagram for SVF::SVFConstantNullPtr:
SVF::SVFConstantData SVF::SVFConstant SVF::SVFValue

Public Member Functions

 SVFConstantNullPtr (const SVFType *ty)
 
 SVFConstantNullPtr ()=delete
 
- Public Member Functions inherited from SVF::SVFConstantData
 SVFConstantData (const SVFType *ty, SVFValKind k=SVFConstData)
 
 SVFConstantData ()=delete
 
- Public Member Functions inherited from SVF::SVFConstant
 SVFConstant (const SVFType *ty, SVFValKind k=SVFConst)
 
 SVFConstant ()=delete
 
- Public Member Functions inherited from SVF::SVFValue
 SVFValue ()=delete
 
virtual ~SVFValue ()=default
 
GNodeK getKind () const
 Get the type of this SVFValue. More...
 
const std::stringgetName () const
 
void setName (const std::string &n)
 
void setName (std::string &&n)
 
virtual const SVFTypegetType () 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)
 
static bool classof (const SVFConstantData *node)
 
- Static Public Member Functions inherited from SVF::SVFConstantData
static bool classof (const SVFValue *node)
 
static bool classof (const SVFConstantData *node)
 
- Static Public Member Functions inherited from SVF::SVFConstant
static bool classof (const SVFValue *node)
 

Friends

class SVFIRWriter
 
class SVFIRReader
 

Additional Inherited Members

- 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
 
- Protected Member Functions inherited from SVF::SVFValue
 SVFValue (const SVFType *ty, SVFValKind k)
 Constructor without name. More...
 
void setConstDataOrAggData ()
 
void setPtrInUncalledFunction ()
 
- Protected Attributes inherited from SVF::SVFValue
const SVFTypetype
 Type of this SVFValue. More...
 
std::string name
 Short name of value for printing & debugging. More...
 
std::string sourceLoc
 

Detailed Description

Definition at line 992 of file SVFValue.h.

Constructor & Destructor Documentation

◆ SVFConstantNullPtr() [1/2]

SVF::SVFConstantNullPtr::SVFConstantNullPtr ( const SVFType ty)
inline

Definition at line 998 of file SVFValue.h.

1000  {
1001  }

◆ SVFConstantNullPtr() [2/2]

SVF::SVFConstantNullPtr::SVFConstantNullPtr ( )
delete

Member Function Documentation

◆ classof() [1/2]

static bool SVF::SVFConstantNullPtr::classof ( const SVFConstantData node)
inlinestatic

Definition at line 1008 of file SVFValue.h.

1009  {
1010  return node->getKind() == SVFNullPtr;
1011  }

◆ classof() [2/2]

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

Definition at line 1004 of file SVFValue.h.

1005  {
1006  return node->getKind() == SVFNullPtr;
1007  }

Friends And Related Function Documentation

◆ SVFIRReader

friend class SVFIRReader
friend

Definition at line 995 of file SVFValue.h.

◆ SVFIRWriter

friend class SVFIRWriter
friend

Definition at line 994 of file SVFValue.h.


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