Static Value-Flow Analysis
|
#include <SVFVariables.h>
Private Attributes | |
ObjTypeInfo * | typeInfo |
const ICFGNode * | icfgNode |
Friends | |
class | SVFIRBuilder |
Definition at line 502 of file SVFVariables.h.
|
inline |
Constructor.
Definition at line 536 of file SVFVariables.h.
|
inlinestatic |
ICFGNode related to the creation of this object.
Methods for support type inquiry through isa, cast, and dyn_cast:
Definition at line 513 of file SVFVariables.h.
|
inlinestatic |
Definition at line 525 of file SVFVariables.h.
Definition at line 517 of file SVFVariables.h.
Definition at line 529 of file SVFVariables.h.
Definition at line 521 of file SVFVariables.h.
|
inline |
Clean up memory.
Definition at line 684 of file SVFVariables.h.
|
inlinevirtual |
Definition at line 542 of file SVFVariables.h.
|
inline |
Get the byte size of this object.
Definition at line 615 of file SVFVariables.h.
Get containing function, or null for globals/constants.
Reimplemented from SVF::SVFVar.
Reimplemented in SVF::FunObjVar.
Definition at line 224 of file SVFVariables.cpp.
Get the ICFGNode related to the creation of this object.
Definition at line 548 of file SVFVariables.h.
|
inline |
Get the memory object id.
Definition at line 562 of file SVFVariables.h.
|
inline |
Get max field offset limit.
Definition at line 586 of file SVFVariables.h.
|
inline |
Get the number of elements of this object.
Definition at line 574 of file SVFVariables.h.
Get obj type.
Reimplemented from SVF::SVFValue.
Definition at line 568 of file SVFVariables.h.
|
inlinevirtual |
Return name of a LLVM value.
Reimplemented from SVF::ObjVar.
Reimplemented in SVF::HeapObjVar, SVF::StackObjVar, and SVF::DummyObjVar.
Definition at line 554 of file SVFVariables.h.
|
inline |
Definition at line 653 of file SVFVariables.h.
bool BaseObjVar::isBlackHoleObj | ( | ) | const |
|
inline |
Definition at line 669 of file SVFVariables.h.
|
inline |
Check if byte size is a const value.
Definition at line 621 of file SVFVariables.h.
|
inline |
Definition at line 665 of file SVFVariables.h.
Check if this variable represents constant/aggregate data.
Reimplemented from SVF::SVFVar.
Reimplemented in SVF::ConstAggObjVar, and SVF::ConstDataObjVar.
Definition at line 677 of file SVFVariables.h.
|
inline |
Definition at line 673 of file SVFVariables.h.
|
inline |
Return true if its field limit is 0.
Definition at line 593 of file SVFVariables.h.
|
inline |
|
inline |
Definition at line 633 of file SVFVariables.h.
|
inline |
Definition at line 645 of file SVFVariables.h.
|
inline |
Definition at line 641 of file SVFVariables.h.
|
inline |
Definition at line 637 of file SVFVariables.h.
|
inline |
Definition at line 649 of file SVFVariables.h.
|
inline |
Definition at line 661 of file SVFVariables.h.
|
inline |
Definition at line 657 of file SVFVariables.h.
|
inline |
Set the memory object to be field insensitive.
Definition at line 599 of file SVFVariables.h.
|
inline |
Set the memory object to be field sensitive (up to max field limit)
Definition at line 606 of file SVFVariables.h.
|
inline |
Set the number of elements of this object.
Definition at line 580 of file SVFVariables.h.
|
virtual |
Get string representation.
Reimplemented from SVF::ObjVar.
Reimplemented in SVF::HeapObjVar, SVF::StackObjVar, SVF::FunObjVar, SVF::GlobalObjVar, SVF::ConstAggObjVar, SVF::ConstDataObjVar, SVF::ConstFPObjVar, SVF::ConstIntObjVar, SVF::ConstNullPtrObjVar, and SVF::DummyObjVar.
Definition at line 230 of file SVFVariables.cpp.
|
friend |
Definition at line 504 of file SVFVariables.h.
Definition at line 508 of file SVFVariables.h.
|
private |
Definition at line 506 of file SVFVariables.h.