Static Value-Flow Analysis
|
Memory Region class. More...
#include <MemRegion.h>
Classes | |
struct | equalMemRegion |
Public Types | |
typedef bool | Condition |
typedef struct SVF::MemRegion::equalMemRegion | equalMemRegion |
Public Member Functions | |
MemRegion (const NodeBS &cp) | |
Constructor. More... | |
~MemRegion () | |
Destructor. More... | |
MRID | getMRID () const |
Return memory region ID. More... | |
const NodeBS & | getPointsTo () const |
Return points-to. More... | |
bool | operator== (const MemRegion *rhs) const |
Operator== overriding. More... | |
std::string | dumpStr () const |
Dump string. More... | |
u32_t | getRegionSize () const |
Return memory object number inside a region. More... | |
Private Attributes | |
MRID | rid |
const NodeBS | cptsSet |
Static Private Attributes | |
static u32_t | totalMRNum = 0 |
region ID 0 is reserved More... | |
Memory Region class.
Definition at line 55 of file MemRegion.h.
typedef bool SVF::MemRegion::Condition |
Definition at line 59 of file MemRegion.h.
typedef struct SVF::MemRegion::equalMemRegion SVF::MemRegion::equalMemRegion |
add the hash function here to sort elements and remove and remove duplicated element in the set (binary tree comparison)
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
Operator== overriding.
Definition at line 88 of file MemRegion.h.
|
private |
Definition at line 64 of file MemRegion.h.
|
private |
Definition at line 63 of file MemRegion.h.
|
staticprivate |
region ID 0 is reserved
Definition at line 62 of file MemRegion.h.