Static Value-Flow Analysis
|
#include <SVFVariables.h>
Static Public Member Functions | |
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 bool | classof (const SVFVar *) |
Type checking support for LLVM-style RTTI. | |
static bool | classof (const GenericPAGNodeTy *node) |
static bool | classof (const SVFValue *node) |
![]() | |
static bool | classof (const GenericNode< NodeTy, EdgeTy > *) |
static bool | classof (const SVFValue *) |
Protected Member Functions | |
ObjVar (NodeID i, const SVFType *svfType, PNODEK ty=ObjNode) | |
Constructor. | |
![]() | |
SVFVar (NodeID i, PNODEK k) | |
Empty constructor for deserialization. | |
Definition at line 299 of file SVFVariables.h.
Constructor.
Definition at line 304 of file SVFVariables.h.
|
inlinestatic |
Definition at line 319 of file SVFVariables.h.
Methods for support type inquiry through isa, cast, and dyn_cast:
Definition at line 311 of file SVFVariables.h.
Definition at line 323 of file SVFVariables.h.
Definition at line 315 of file SVFVariables.h.
Return name of a LLVM value.
Implements SVF::SVFVar.
Reimplemented in SVF::BaseObjVar, SVF::GepObjVar, SVF::HeapObjVar, SVF::StackObjVar, and SVF::DummyObjVar.
Definition at line 330 of file SVFVariables.h.
|
virtual |
Get string representation.
Reimplemented from SVF::SVFVar.
Reimplemented in SVF::BaseObjVar, SVF::GepObjVar, SVF::HeapObjVar, SVF::StackObjVar, SVF::FunObjVar, SVF::GlobalObjVar, SVF::ConstAggObjVar, SVF::ConstDataObjVar, SVF::ConstFPObjVar, SVF::ConstIntObjVar, SVF::ConstNullPtrObjVar, and SVF::DummyObjVar.
Definition at line 105 of file SVFVariables.cpp.