SVF::AddressValue Class Reference

#include <AddressValue.h>

Public Types
typedef Set< u32_t >	AddrSet

Public Member Functions
	AddressValue ()
	Default constructor. More...
	AddressValue (const Set< u32_t > &addrs)
	Constructor. More...
	AddressValue (u32_t addr)
	~AddressValue ()=default
	Default destructor. More...
	AddressValue (const AddressValue &other)
	Copy constructor. More...
	AddressValue (AddressValue &&other) noexcept
	Move constructor. More...
AddressValue &	operator= (const AddressValue &other)
	Copy operator=. More...
AddressValue &	operator= (AddressValue &&other) noexcept
	Move operator=. More...
bool	equals (const AddressValue &rhs) const
AddrSet::const_iterator	begin () const
AddrSet::const_iterator	end () const
bool	empty () const
u32_t	size () const
std::pair< AddressValue::AddrSet::iterator, bool >	insert (u32_t id)
const AddrSet &	getVals () const
void	setVals (const AddrSet &vals)
bool	join_with (const AddressValue &other)
	Current AddressValue joins with another AddressValue. More...
bool	meet_with (const AddressValue &other)
	Return a intersected AddressValue. More...
bool	contains (u32_t id) const
	Return true if the AddressValue contains n. More...
bool	hasIntersect (const AddressValue &other)
bool	isTop () const
bool	isBottom () const
void	setTop ()
void	setBottom ()
const std::string	toString () const

Static Public Member Functions
static u32_t	getVirtualMemAddress (u32_t idx)
	The physical address starts with 0x7f...... + idx. More...
static bool	isVirtualMemAddress (u32_t val)
	Check bit value of val start with 0x7F000000, filter by 0xFF000000. More...
static u32_t	getInternalID (u32_t idx)
	Return the internal index if idx is an address otherwise return the value of idx. More...

Private Attributes
AddrSet	_addrs

Detailed Description

Definition at line 43 of file AddressValue.h.

Member Typedef Documentation

AddrSet

typedef Set<u32_t> SVF::AddressValue::AddrSet

Definition at line 46 of file AddressValue.h.

Constructor & Destructor Documentation

AddressValue() [1/5]

SVF::AddressValue::AddressValue ( )

inline

Default constructor.

Definition at line 51 of file AddressValue.h.

{}

AddressValue() [2/5]

SVF::AddressValue::AddressValue ( const Set< u32_t > &  addrs )

inline

Constructor.

Definition at line 54 of file AddressValue.h.

:  _addrs(addrs) {}

AddressValue() [3/5]

SVF::AddressValue::AddressValue ( u32_t  addr )

inline

Definition at line 56 of file AddressValue.h.

:  _addrs({addr}) {}

~AddressValue()

SVF::AddressValue::~AddressValue ( )

default

Default destructor.

AddressValue() [4/5]

SVF::AddressValue::AddressValue ( const AddressValue &  other )

inline

Copy constructor.

Definition at line 62 of file AddressValue.h.

: _addrs(other._addrs) {}

AddressValue() [5/5]

SVF::AddressValue::AddressValue ( AddressValue &&  other )

inlinenoexcept

Move constructor.

Definition at line 65 of file AddressValue.h.

: _addrs(std::move(other._addrs)) {}

Member Function Documentation

begin()

AddrSet::const_iterator SVF::AddressValue::begin ( ) const

inline

Definition at line 92 of file AddressValue.h.

    {
        return _addrs.cbegin();
    }

contains()

bool SVF::AddressValue::contains ( u32_t  id ) const

inline

Return true if the AddressValue contains n.

Definition at line 159 of file AddressValue.h.

    {
        return _addrs.count(id);
    }

empty()

bool SVF::AddressValue::empty ( ) const

inline

Definition at line 102 of file AddressValue.h.

    {
        return _addrs.empty();
    }

end()

AddrSet::const_iterator SVF::AddressValue::end ( ) const

inline

Definition at line 97 of file AddressValue.h.

    {
        return _addrs.cend();
    }

equals()

bool SVF::AddressValue::equals ( const AddressValue &  rhs ) const

inline

Definition at line 87 of file AddressValue.h.

    {
        return _addrs == rhs._addrs;
    }

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.

    {
        return (idx & FlippedAddressMask);
    }

getVals()

const AddrSet& SVF::AddressValue::getVals ( ) const

inline

Definition at line 117 of file AddressValue.h.

    {
        return _addrs;
    }

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.

    {
        // 0 is the null address, should not be used as a virtual address
        assert(idx != 0 && "idx can’t be 0 because it represents a nullptr");
        return AddressMask + idx;
    }

hasIntersect()

bool SVF::AddressValue::hasIntersect ( const AddressValue &  other )

inline

Definition at line 164 of file AddressValue.h.

    {
        AddressValue v = *this;
        v.meet_with(other);
        return !v.empty();
    }

insert()

std::pair<AddressValue::AddrSet::iterator, bool> SVF::AddressValue::insert ( u32_t  id )

inline

Definition at line 112 of file AddressValue.h.

    {
        return _addrs.insert(id);
    }

isBottom()

bool SVF::AddressValue::isBottom ( ) const

inline

Definition at line 176 of file AddressValue.h.

    {
        return empty();
    }

isTop()

bool SVF::AddressValue::isTop ( ) const

inline

Definition at line 171 of file AddressValue.h.

    {
        return *this->begin() == BlackHoleAddr;
    }

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.

    {
        return (val & 0xff000000) == AddressMask && val != AddressMask + 0;
    }

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.

    {
        bool changed = false;
        for (const auto &addr: other)
        {
            if (!_addrs.count(addr))
            {
                if (insert(addr).second)
                    changed = true;
            }
        }
        return changed;
    }

meet_with()

bool SVF::AddressValue::meet_with ( const AddressValue &  other )

inline

Return a intersected AddressValue.

Definition at line 143 of file AddressValue.h.

    {
        AddrSet s;
        for (const auto &id: other._addrs)
        {
            if (_addrs.find(id) != _addrs.end())
            {
                s.insert(id);
            }
        }
        bool changed = (_addrs != s);
        _addrs = std::move(s);
        return changed;
    }

operator=() [1/2]

AddressValue& SVF::AddressValue::operator= ( AddressValue &&  other )

inlinenoexcept

Move operator=.

Definition at line 78 of file AddressValue.h.

    {
        if (this != &other)
        {
            _addrs = std::move(other._addrs);
        }
        return *this;
    }

operator=() [2/2]

AddressValue& SVF::AddressValue::operator= ( const AddressValue &  other )

inline

Copy operator=.

Definition at line 68 of file AddressValue.h.

    {
        if (!this->equals(other))
        {
            _addrs = other._addrs;
        }
        return *this;
    }

setBottom()

void SVF::AddressValue::setBottom ( )

inline

Definition at line 186 of file AddressValue.h.

    {
        _addrs.clear();
    }

setTop()

void SVF::AddressValue::setTop ( )

inline

Definition at line 181 of file AddressValue.h.

    {
        *this = AddressValue(BlackHoleAddr);
    }

setVals()

void SVF::AddressValue::setVals ( const AddrSet &  vals )

inline

Definition at line 122 of file AddressValue.h.

    {
        _addrs = vals;
    }

size()

u32_t SVF::AddressValue::size ( ) const

inline

Definition at line 107 of file AddressValue.h.

    {
        return _addrs.size();
    }

toString()

const std::string SVF::AddressValue::toString ( ) const

inline

Definition at line 191 of file AddressValue.h.

    {
        std::string str;
        std::stringstream rawStr(str);
        if (this->isBottom())
        {
            rawStr << "⊥";
        }
        else
        {
            rawStr << "[";
            for (auto it = _addrs.begin(), eit = _addrs.end(); it!= eit; ++it)
            {
                rawStr << *it << ", ";
            }
            rawStr << "]";
        }
        return rawStr.str();
    }

Member Data Documentation

_addrs

AddrSet SVF::AddressValue::_addrs

private

Definition at line 48 of file AddressValue.h.

---

The documentation for this class was generated from the following file:

• /home/runner/work/SVF/SVF/svf/include/AE/Core/AddressValue.h