SVF::ContextCond Class Reference

#include <DPItem.h>

Public Types
typedef CallStrCxt::const_iterator	const_iterator

Public Member Functions
	ContextCond ()
	Constructor.
	ContextCond (const ContextCond &cond)
	Copy Constructor.
	ContextCond (ContextCond &&cond) noexcept
	Move Constructor.
ContextCond &	operator= (ContextCond &&cond) noexcept
	Move operator=.
virtual	~ContextCond ()
	Destructor.
const CallStrCxt &	getContexts () const
	Get context.
CallStrCxt &	getContexts ()
	Get context.
bool	isConcreteCxt () const
	Whether it is an concrete context.
void	setNonConcreteCxt ()
	Whether it is an concrete context.
bool	containCallStr (NodeID cxt) const
	Whether contains callstring cxt.
u32_t	cxtSize () const
	Get context size.
u32_t	getMaxPathLen () const
virtual bool	pushContext (NodeID ctx)
	Push context.
virtual bool	matchContext (NodeID ctx)
	Match context.
bool	operator< (const ContextCond &rhs) const
NodeID	operator[] (const u32_t index) const
	Overloading operator[].
ContextCond &	operator= (const ContextCond &rhs)
	Overloading operator=.
bool	operator== (const ContextCond &rhs) const
	Overloading operator==.
bool	operator!= (const ContextCond &rhs) const
	Overloading operator!=.
const_iterator	begin () const
	Begin iterators.
const_iterator	end () const
	End iterators.
std::string	toString () const
	Dump context condition.

Static Public Member Functions
static void	setMaxCxtLen (u32_t max)
	set max context limit
static void	setMaxPathLen (u32_t max)
	set max path limit

Static Public Attributes
static u32_t	maximumCxt = 0
static u32_t	maximumPath = 0

Protected Attributes
CallStrCxt	context
bool	concreteCxt

Static Protected Attributes
static u32_t	maximumCxtLen = 0
static u32_t	maximumPathLen = 0

Detailed Description

Context Condition

Definition at line 206 of file DPItem.h.

Member Typedef Documentation

const_iterator

typedef CallStrCxt::const_iterator SVF::ContextCond::const_iterator

Definition at line 209 of file DPItem.h.

Constructor & Destructor Documentation

ContextCond() [1/3]

SVF::ContextCond::ContextCond ( )

inline

Constructor.

Definition at line 211 of file DPItem.h.

                 :concreteCxt(true)
    {
    }

ContextCond() [2/3]

SVF::ContextCond::ContextCond ( const ContextCond &  cond )

inline

Copy Constructor.

Definition at line 215 of file DPItem.h.

                                        : context(cond.getContexts()), concreteCxt(cond.isConcreteCxt())
    {
    }

ContextCond() [3/3]

SVF::ContextCond::ContextCond ( ContextCond &&  cond )

inlinenoexcept

Move Constructor.

Definition at line 219 of file DPItem.h.

: context(std::move(cond.context)), concreteCxt(cond.concreteCxt) {}

~ContextCond()

virtual SVF::ContextCond::~ContextCond ( )

inlinevirtual

Destructor.

Definition at line 231 of file DPItem.h.

    {
    }

Member Function Documentation

begin()

const_iterator SVF::ContextCond::begin ( ) const

inline

Begin iterators.

Definition at line 350 of file DPItem.h.

    {
        return context.begin();
    }

containCallStr()

bool SVF::ContextCond::containCallStr ( NodeID  cxt ) const

inline

Whether contains callstring cxt.

Definition at line 255 of file DPItem.h.

    {
        return std::find(context.begin(),context.end(),cxt) != context.end();
    }

cxtSize()

u32_t SVF::ContextCond::cxtSize ( ) const

inline

Get context size.

Definition at line 260 of file DPItem.h.

    {
        return context.size();
    }

end()

const_iterator SVF::ContextCond::end ( ) const

inline

End iterators.

Definition at line 355 of file DPItem.h.

    {
        return context.end();
    }

getContexts() [1/2]

CallStrCxt & SVF::ContextCond::getContexts ( )

inline

Get context.

Definition at line 240 of file DPItem.h.

    {
        return context;
    }

getContexts() [2/2]

const CallStrCxt & SVF::ContextCond::getContexts ( ) const

inline

Get context.

Definition at line 235 of file DPItem.h.

    {
        return context;
    }

getMaxPathLen()

u32_t SVF::ContextCond::getMaxPathLen ( ) const

inline

Definition at line 274 of file DPItem.h.

    {
        return maximumPathLen;
    }

isConcreteCxt()

bool SVF::ContextCond::isConcreteCxt ( ) const

inline

Whether it is an concrete context.

Definition at line 245 of file DPItem.h.

    {
        return concreteCxt;
    }

matchContext()

virtual bool SVF::ContextCond::matchContext ( NodeID  ctx )

inlinevirtual

Match context.

if context is empty, then it is the unbalanced parentheses match

otherwise, we perform balanced parentheses matching

Definition at line 303 of file DPItem.h.

    {
        if(context.empty())
            return true;
        else if(context.back() == ctx)
        {
            context.pop_back();
            return true;
        }
        return false;
    }

operator!=()

bool SVF::ContextCond::operator!= ( const ContextCond &  rhs ) const

inline

Overloading operator!=.

Definition at line 345 of file DPItem.h.

    {
        return !(*this==rhs);
    }

operator<()

bool SVF::ContextCond::operator< ( const ContextCond &  rhs ) const

inline

Enable compare operator to avoid duplicated item insertion in map or set to be noted that two vectors can also overload operator()

Definition at line 319 of file DPItem.h.

    {
        return context < rhs.context;
    }

operator=() [1/2]

ContextCond & SVF::ContextCond::operator= ( const ContextCond &  rhs )

inline

Overloading operator=.

Definition at line 330 of file DPItem.h.

    {
        if(*this!=rhs)
        {
            context = rhs.getContexts();
            concreteCxt = rhs.isConcreteCxt();
        }
        return *this;
    }

operator=() [2/2]

ContextCond & SVF::ContextCond::operator= ( ContextCond &&  cond )

inlinenoexcept

Move operator=.

Definition at line 221 of file DPItem.h.

    {
        if(this!=&cond)
        {
            context = std::move(cond.context);
            concreteCxt = cond.concreteCxt;
        }
        return *this;
    }

operator==()

bool SVF::ContextCond::operator== ( const ContextCond &  rhs ) const

inline

Overloading operator==.

Definition at line 340 of file DPItem.h.

    {
        return (context == rhs.getContexts());
    }

operator[]()

NodeID SVF::ContextCond::operator[] ( const u32_t  index ) const

inline

Overloading operator[].

Definition at line 324 of file DPItem.h.

    {
        assert(index < context.size());
        return context[index];
    }

pushContext()

virtual bool SVF::ContextCond::pushContext ( NodeID  ctx )

inlinevirtual

Push context.

handle out of context limit case

Definition at line 279 of file DPItem.h.

    {
 
        if(context.size() < maximumCxtLen)
        {
            context.push_back(ctx);
 
            if(context.size() > maximumCxt)
                maximumCxt = context.size();
            return true;
        }
        else   
        {
            if(!context.empty())
            {
                setNonConcreteCxt();
                context.erase(context.begin());
                context.push_back(ctx);
            }
            return false;
        }
    }

setMaxCxtLen()

static void SVF::ContextCond::setMaxCxtLen ( u32_t  max )

inlinestatic

set max context limit

Definition at line 265 of file DPItem.h.

    {
        maximumCxtLen = max;
    }

setMaxPathLen()

static void SVF::ContextCond::setMaxPathLen ( u32_t  max )

inlinestatic

set max path limit

Definition at line 270 of file DPItem.h.

    {
        maximumPathLen = max;
    }

setNonConcreteCxt()

void SVF::ContextCond::setNonConcreteCxt ( )

inline

Whether it is an concrete context.

Definition at line 250 of file DPItem.h.

    {
        concreteCxt = false;
    }

toString()

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

inline

Dump context condition.

Definition at line 360 of file DPItem.h.

    {
        std::string str;
        std::stringstream rawstr(str);
        rawstr << "[:";
        for(CallStrCxt::const_iterator it = context.begin(), eit = context.end(); it!=eit; ++it)
        {
            rawstr << *it << " ";
        }
        rawstr << " ]";
        return rawstr.str();
    }

Member Data Documentation

concreteCxt

bool SVF::ContextCond::concreteCxt

protected

Definition at line 376 of file DPItem.h.

context

CallStrCxt SVF::ContextCond::context

protected

Definition at line 373 of file DPItem.h.

maximumCxt

u32_t ContextCond::maximumCxt = 0

static

Definition at line 378 of file DPItem.h.

maximumCxtLen

u32_t ContextCond::maximumCxtLen = 0

staticprotected

Definition at line 374 of file DPItem.h.

maximumPath

u32_t ContextCond::maximumPath = 0

static

Definition at line 379 of file DPItem.h.

maximumPathLen

u32_t ContextCond::maximumPathLen = 0

staticprotected

Definition at line 375 of file DPItem.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/Util/DPItem.h
• /home/runner/work/SVF/SVF/svf/lib/SABER/SaberCondAllocator.cpp