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

#include <SVFValue.h>

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

Public Member Functions

 SVFBlackHoleValue (const SVFType *ty)
 
 SVFBlackHoleValue ()=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 1014 of file SVFValue.h.

Constructor & Destructor Documentation

◆ SVFBlackHoleValue() [1/2]

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

Definition at line 1020 of file SVFValue.h.

1022  {
1023  }

◆ SVFBlackHoleValue() [2/2]

SVF::SVFBlackHoleValue::SVFBlackHoleValue ( )
delete

Member Function Documentation

◆ classof() [1/2]

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

Definition at line 1030 of file SVFValue.h.

1031  {
1032  return node->getKind() == SVFBlackHole;
1033  }

◆ classof() [2/2]

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

Definition at line 1026 of file SVFValue.h.

1027  {
1028  return node->getKind() == SVFBlackHole;
1029  }

Friends And Related Function Documentation

◆ SVFIRReader

friend class SVFIRReader
friend

Definition at line 1017 of file SVFValue.h.

◆ SVFIRWriter

friend class SVFIRWriter
friend

Definition at line 1016 of file SVFValue.h.


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