|
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 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< NodeTy, EdgeTy > | |
| 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. | |
Protected Member Functions inherited from SVF::SVFVar | |
| 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.