SVF::AddressValue Class Reference

#include <AddressValue.h>

Public Types
typedef Set< u32_t >	AddrSet

Public Member Functions
	AddressValue ()
	Default constructor.
	AddressValue (const Set< u32_t > &addrs)
	Constructor.
	AddressValue (u32_t addr)
	~AddressValue ()=default
	Default destructor.
	AddressValue (const AddressValue &other)
	Copy constructor.
	AddressValue (AddressValue &&other) noexcept
	Move constructor.
AddressValue &	operator= (const AddressValue &other)
	Copy operator=.
AddressValue &	operator= (AddressValue &&other) noexcept
	Move operator=.
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.
bool	meet_with (const AddressValue &other)
	Return a intersected AddressValue.
bool	contains (u32_t id) const
	Return true if the AddressValue contains n.
bool	hasIntersect (const AddressValue &other)
bool	isBottom () const
const std::string	toString () const

Static Public Member Functions
static u32_t	getVirtualMemAddress (u32_t idx)
	The physical address starts with 0x7f...... + idx.
static bool	isVirtualMemAddress (u32_t val)
	Check bit value of val start with 0x7F000000, filter by 0xFF000000.

Static Private Member Functions
static u32_t	getInternalID (u32_t idx)
	Return the internal index if idx is an address otherwise return the value of idx.

Private Attributes
AddrSet	_addrs

Friends
class	AbstractState
class	RelExeState

Detailed Description

Definition at line 47 of file AddressValue.h.

Member Typedef Documentation

AddrSet

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

Definition at line 52 of file AddressValue.h.

Constructor & Destructor Documentation

AddressValue() [1/5]

SVF::AddressValue::AddressValue ( )

inline

Default constructor.

Definition at line 64 of file AddressValue.h.

{}

AddressValue() [2/5]

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

inline

Constructor.

Definition at line 67 of file AddressValue.h.

:  _addrs(addrs) {}

AddressValue() [3/5]

SVF::AddressValue::AddressValue ( u32_t  addr )

inline

Definition at line 69 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 75 of file AddressValue.h.

: _addrs(other._addrs) {}

AddressValue() [5/5]

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

inlinenoexcept

Move constructor.

Definition at line 78 of file AddressValue.h.

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

Member Function Documentation

begin()

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

inline

Definition at line 105 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 172 of file AddressValue.h.

    {
        return _addrs.count(id);
    }

empty()

bool SVF::AddressValue::empty ( ) const

inline

Definition at line 115 of file AddressValue.h.

    {
        return _addrs.empty();
    }

end()

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

inline

Definition at line 110 of file AddressValue.h.

    {
        return _addrs.cend();
    }

equals()

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

inline

Definition at line 100 of file AddressValue.h.

    {
        return _addrs == rhs._addrs;
    }

getInternalID()

static u32_t SVF::AddressValue::getInternalID ( u32_t  idx )

inlinestaticprivate

Return the internal index if idx is an address otherwise return the value of idx.

Definition at line 57 of file AddressValue.h.

    {
        return (idx & FlippedAddressMask);
    }

getVals()

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

inline

Definition at line 130 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 210 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 177 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 125 of file AddressValue.h.

    {
        return _addrs.insert(id);
    }

isBottom()

bool SVF::AddressValue::isBottom ( ) const

inline

Definition at line 184 of file AddressValue.h.

    {
        return empty();
    }

isVirtualMemAddress()

static bool SVF::AddressValue::isVirtualMemAddress ( u32_t  val )

inlinestatic

Check bit value of val start with 0x7F000000, filter by 0xFF000000.

Definition at line 218 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 141 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 156 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 91 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 81 of file AddressValue.h.

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

setVals()

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

inline

Definition at line 135 of file AddressValue.h.

    {
        _addrs = vals;
    }

size()

u32_t SVF::AddressValue::size ( ) const

inline

Definition at line 120 of file AddressValue.h.

    {
        return _addrs.size();
    }

toString()

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

inline

Definition at line 189 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();
    }

Friends And Related Symbol Documentation

AbstractState

friend class AbstractState

friend

Definition at line 49 of file AddressValue.h.

RelExeState

friend class RelExeState

friend

Definition at line 50 of file AddressValue.h.

Member Data Documentation

_addrs

AddrSet SVF::AddressValue::_addrs

private

Definition at line 54 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