|
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 |