Static Value-Flow Analysis
|
This is the complete list of members for SVF::MemRegion, including all inherited members.
Condition typedef | SVF::MemRegion | |
cptsSet | SVF::MemRegion | private |
dumpStr() const | SVF::MemRegion | inline |
equalMemRegion typedef | SVF::MemRegion | |
getMRID() const | SVF::MemRegion | inline |
getPointsTo() const | SVF::MemRegion | inline |
getRegionSize() const | SVF::MemRegion | inline |
MemRegion(const NodeBS &cp) | SVF::MemRegion | inline |
operator==(const MemRegion *rhs) const | SVF::MemRegion | inline |
rid | SVF::MemRegion | private |
totalMRNum | SVF::MemRegion | privatestatic |
~MemRegion() | SVF::MemRegion | inline |