#include <AddressValue.h>
Definition at line 43 of file AddressValue.h.
◆ AddrSet
◆ AddressValue() [1/5]
SVF::AddressValue::AddressValue |
( |
| ) |
|
|
inline |
◆ AddressValue() [2/5]
SVF::AddressValue::AddressValue |
( |
const Set< u32_t > & |
addrs | ) |
|
|
inline |
◆ AddressValue() [3/5]
SVF::AddressValue::AddressValue |
( |
u32_t |
addr | ) |
|
|
inline |
◆ ~AddressValue()
SVF::AddressValue::~AddressValue |
( |
| ) |
|
|
default |
◆ AddressValue() [4/5]
SVF::AddressValue::AddressValue |
( |
const AddressValue & |
other | ) |
|
|
inline |
◆ AddressValue() [5/5]
Move constructor.
Definition at line 65 of file AddressValue.h.
constexpr std::remove_reference< T >::type && move(T &&t) noexcept
◆ begin()
AddrSet::const_iterator SVF::AddressValue::begin |
( |
| ) |
const |
|
inline |
◆ contains()
bool SVF::AddressValue::contains |
( |
u32_t |
id | ) |
const |
|
inline |
◆ empty()
bool SVF::AddressValue::empty |
( |
| ) |
const |
|
inline |
◆ end()
AddrSet::const_iterator SVF::AddressValue::end |
( |
| ) |
const |
|
inline |
◆ equals()
bool SVF::AddressValue::equals |
( |
const AddressValue & |
rhs | ) |
const |
|
inline |
◆ getInternalID()
static u32_t SVF::AddressValue::getInternalID |
( |
u32_t |
idx | ) |
|
|
inlinestatic |
Return the internal index if idx is an address otherwise return the value of idx.
Definition at line 226 of file AddressValue.h.
#define FlippedAddressMask
◆ getVals()
const AddrSet& SVF::AddressValue::getVals |
( |
| ) |
const |
|
inline |
◆ getVirtualMemAddress()
static u32_t SVF::AddressValue::getVirtualMemAddress |
( |
u32_t |
idx | ) |
|
|
inlinestatic |
The physical address starts with 0x7f...... + idx.
Definition at line 212 of file AddressValue.h.
215 assert(idx != 0 &&
"idx can’t be 0 because it represents a nullptr");
◆ hasIntersect()
bool SVF::AddressValue::hasIntersect |
( |
const AddressValue & |
other | ) |
|
|
inline |
◆ insert()
std::pair<AddressValue::AddrSet::iterator, bool> SVF::AddressValue::insert |
( |
u32_t |
id | ) |
|
|
inline |
◆ isBottom()
bool SVF::AddressValue::isBottom |
( |
| ) |
const |
|
inline |
◆ isTop()
bool SVF::AddressValue::isTop |
( |
| ) |
const |
|
inline |
◆ isVirtualMemAddress()
static bool SVF::AddressValue::isVirtualMemAddress |
( |
u32_t |
val | ) |
|
|
inlinestatic |
Check bit value of val start with 0x7F000000, filter by 0xFF000000.
Definition at line 220 of file AddressValue.h.
◆ join_with()
bool SVF::AddressValue::join_with |
( |
const AddressValue & |
other | ) |
|
|
inline |
Current AddressValue joins with another AddressValue.
Definition at line 128 of file AddressValue.h.
130 bool changed =
false;
131 for (
const auto &addr: other)
std::pair< AddressValue::AddrSet::iterator, bool > insert(u32_t id)
◆ meet_with()
bool SVF::AddressValue::meet_with |
( |
const AddressValue & |
other | ) |
|
|
inline |
◆ operator=() [1/2]
◆ operator=() [2/2]
Copy operator=.
Definition at line 68 of file AddressValue.h.
bool equals(const AddressValue &rhs) const
◆ setBottom()
void SVF::AddressValue::setBottom |
( |
| ) |
|
|
inline |
◆ setTop()
void SVF::AddressValue::setTop |
( |
| ) |
|
|
inline |
◆ setVals()
void SVF::AddressValue::setVals |
( |
const AddrSet & |
vals | ) |
|
|
inline |
◆ size()
u32_t SVF::AddressValue::size |
( |
| ) |
const |
|
inline |
◆ toString()
const std::string SVF::AddressValue::toString |
( |
| ) |
const |
|
inline |
Definition at line 191 of file AddressValue.h.
194 std::stringstream rawStr(str);
202 for (
auto it =
_addrs.begin(), eit =
_addrs.end(); it!= eit; ++it)
204 rawStr << *it <<
", ";
◆ _addrs
The documentation for this class was generated from the following file: