#include <DPItem.h>

Inheritance diagram for SVF::VFPathCond:

Public Types
typedef PathCondAllocator::Condition	PathCond

typedef std::vector< std::pair< NodeID, NodeID > >	EdgeSet

Public Types inherited from SVF::ContextCond
typedef CallStrCxt::const_iterator	const_iterator

Public Member Functions
	VFPathCond (PathCond *p=PathCondAllocator::trueCond())
	Constructor. More...

	VFPathCond (const VFPathCond &cond)
	Copy Constructor. More...

virtual	~VFPathCond ()
	Destructor. More...

u32_t	getMaxPathLen () const

PathCond *	getPaths () const
	Return paths. More...

const EdgeSet &	getVFEdges () const
	Return paths. More...

void	setPaths (PathCond *p, const EdgeSet &e)
	Set paths. More...

u32_t	pathLen () const
	Get path length. More...

void	addVFEdge (NodeID from, NodeID to)
	Add SVFG Edge. More...

bool	hasVFEdge (NodeID from, NodeID to) const
	Has SVFG Edge. More...

bool	hasIncomingEdge (NodeID node) const
	Whether Node dst has incoming edge. More...

bool	hasOutgoingEdge (NodeID node) const
	Whether Node dst has outgoing edge. More...

bool	addPath (PathCondAllocator allocator, PathCond c, NodeID from, NodeID to)

bool	operator< (const VFPathCond &rhs) const

VFPathCond &	operator= (const VFPathCond &rhs)
	Overloading operator=. More...

bool	operator== (const VFPathCond &rhs) const
	Overloading operator==. More...

bool	operator!= (const VFPathCond &rhs) const
	Overloading operator!=. More...

std::string	vfEdgesTrace () const
	Get value-flow edge traces. More...

std::string	toString () const
	Dump context condition. More...


bool	condAnd (PathCondAllocator allocator, PathCond c)
	Condition operatoration. More...

void	condOr (PathCondAllocator allocator, PathCond c)

Public Member Functions inherited from SVF::ContextCond
	ContextCond ()
	Constructor. More...

	ContextCond (const ContextCond &cond)
	Copy Constructor. More...

virtual	~ContextCond ()
	Destructor. More...

const CallStrCxt &	getContexts () const
	Get context. More...

CallStrCxt &	getContexts ()
	Get context. More...

bool	isConcreteCxt () const
	Whether it is an concrete context. More...

void	setNonConcreteCxt ()
	Whether it is an concrete context. More...

bool	containCallStr (NodeID cxt) const
	Whether contains callstring cxt. More...

u32_t	cxtSize () const
	Get context size. More...

virtual bool	pushContext (NodeID ctx)
	Push context. More...

virtual bool	matchContext (NodeID ctx)
	Match context. More...

bool	operator< (const ContextCond &rhs) const

NodeID	operator[] (const u32_t index) const
	Overloading operator[]. More...

ContextCond &	operator= (const ContextCond &rhs)
	Overloading operator=. More...

bool	operator== (const ContextCond &rhs) const
	Overloading operator==. More...

bool	operator!= (const ContextCond &rhs) const
	Overloading operator!=. More...

const_iterator	begin () const
	Begin iterators. More...

const_iterator	end () const
	End iterators. More...

std::string	toString () const
	Dump context condition. More...

Static Public Member Functions
static void	setMaxPathLen (u32_t max)
	set max path limit More...

Static Public Member Functions inherited from SVF::ContextCond
static void	setMaxCxtLen (u32_t max)
	set max context limit More...

Static Public Attributes
static u32_t	maximumPath = 0

Static Public Attributes inherited from SVF::ContextCond
static u32_t	maximumCxt = 0

Private Attributes
PathCond *	path

EdgeSet	edges

Static Private Attributes
static u32_t	maximumPathLen = 0

Additional Inherited Members
Protected Attributes inherited from SVF::ContextCond
CallStrCxt	context

Detailed Description

Definition at line 440 of file DPItem.h.

Member Typedef Documentation

◆ EdgeSet

typedef std::vector<std::pair<NodeID,NodeID> > SVF::VFPathCond::EdgeSet

Definition at line 445 of file DPItem.h.

◆ PathCond

typedef PathCondAllocator::Condition SVF::VFPathCond::PathCond

Definition at line 444 of file DPItem.h.

Constructor & Destructor Documentation

◆ VFPathCond() [1/2]

SVF::VFPathCond::VFPathCond ( PathCond * p = PathCondAllocator::trueCond() )

inline

Constructor.

Definition at line 449 of file DPItem.h.

                                                           : ContextCond(), path(p)
     {
     }

◆ VFPathCond() [2/2]

SVF::VFPathCond::VFPathCond ( const VFPathCond & cond )

inline

Copy Constructor.

Definition at line 453 of file DPItem.h.

                                       : ContextCond(cond), path(cond.getPaths()),edges(cond.getVFEdges())
     {
     }

◆ ~VFPathCond()

virtual SVF::VFPathCond::~VFPathCond ( )

inlinevirtual

Destructor.

Definition at line 457 of file DPItem.h.

458 {

459 }

Member Function Documentation

◆ addPath()

bool SVF::VFPathCond::addPath	(	PathCondAllocator *	allocator,
		PathCond *	c,
		NodeID	from,
		NodeID	to
	)

inline

drop condition when existing a loop (vf cycle)

Definition at line 524 of file DPItem.h.

     {
         if(pathLen() < maximumPathLen)
         {
             if(!hasVFEdge(from,to))
             {
                 if(hasOutgoingEdge(from))
                     c = allocator->getTrueCond();
             }
             addVFEdge(from,to);
             return condAnd(allocator,c);
         }
         //  DBOUT(DDDA, SVFUtil::outs() << "\t\t!!path length beyond limits \n");
         return true;
     }

◆ addVFEdge()

void SVF::VFPathCond::addVFEdge	(	NodeID	from,
		NodeID	to
	)

inline

Add SVFG Edge.

Definition at line 491 of file DPItem.h.

     {
         //  assert(!hasVFEdge(from,to) && "Edge exit?");
         if(edges.size() > maximumPath)
             maximumPath = edges.size();
 
         edges.push_back(std::make_pair(from,to));
     }

◆ condAnd()

bool SVF::VFPathCond::condAnd	(	PathCondAllocator *	allocator,
		PathCond *	c
	)

inline

Condition operatoration.

Definition at line 542 of file DPItem.h.

     {
         path = allocator->condAnd(path,c);
         return path != allocator->getFalseCond();
     }

◆ condOr()

void SVF::VFPathCond::condOr	(	PathCondAllocator *	allocator,
		PathCond *	c
	)

inline

Definition at line 547 of file DPItem.h.

     {
         path = allocator->condOr(path,c);
     }

◆ getMaxPathLen()

u32_t SVF::VFPathCond::getMaxPathLen ( ) const

inline

Definition at line 465 of file DPItem.h.

     {
         return maximumPathLen;
     }

◆ getPaths()

PathCond* SVF::VFPathCond::getPaths ( ) const

inline

Return paths.

Definition at line 470 of file DPItem.h.

     {
         return path;
     }

◆ getVFEdges()

const EdgeSet& SVF::VFPathCond::getVFEdges ( ) const

inline

Return paths.

Definition at line 475 of file DPItem.h.

     {
         return edges;
     }

◆ hasIncomingEdge()

bool SVF::VFPathCond::hasIncomingEdge ( NodeID node ) const

inline

Whether Node dst has incoming edge.

Definition at line 505 of file DPItem.h.

     {
         for(EdgeSet::const_iterator it = edges.begin(), eit =edges.end(); it!=eit; ++it)
         {
             if(it->second == node)
                 return true;
         }
         return false;
     }

◆ hasOutgoingEdge()

bool SVF::VFPathCond::hasOutgoingEdge ( NodeID node ) const

inline

Whether Node dst has outgoing edge.

Definition at line 515 of file DPItem.h.

     {
         for(EdgeSet::const_iterator it = edges.begin(), eit =edges.end(); it!=eit; ++it)
         {
             if(it->first == node)
                 return true;
         }
         return false;
     }

◆ hasVFEdge()

bool SVF::VFPathCond::hasVFEdge	(	NodeID	from,
		NodeID	to
	)		const

inline

Has SVFG Edge.

Definition at line 500 of file DPItem.h.

     {
         return std::find(edges.begin(),edges.end(),std::make_pair(from,to)) != edges.end();
     }

◆ operator!=()

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

inline

Overloading operator!=.

Definition at line 579 of file DPItem.h.

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

◆ operator<()

bool SVF::VFPathCond::operator< ( const VFPathCond & 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 555 of file DPItem.h.

     {
         if(path != rhs.path)
             return path < rhs.path;
         else
             return context < rhs.context;
     }

◆ operator=()

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

inline

Overloading operator=.

Definition at line 563 of file DPItem.h.

     {
         if(*this != rhs)
         {
             ContextCond::operator=(rhs);
             path = rhs.getPaths();
             edges = rhs.getVFEdges();
         }
         return *this;
     }

◆ operator==()

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

inline

Overloading operator==.

Definition at line 574 of file DPItem.h.

     {
         return (context == rhs.getContexts() && path == rhs.getPaths());
     }

◆ pathLen()

u32_t SVF::VFPathCond::pathLen ( ) const

inline

Get path length.

Definition at line 486 of file DPItem.h.

     {
         return edges.size();
     }

◆ setMaxPathLen()

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

inlinestatic

set max path limit

Definition at line 461 of file DPItem.h.

     {
         maximumPathLen = max;
     }

◆ setPaths()

void SVF::VFPathCond::setPaths	(	PathCond *	p,
		const EdgeSet &	e
	)

inline

Set paths.

Definition at line 480 of file DPItem.h.

     {
         path = p;
         edges = e;
     }

◆ toString()

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

inline

Dump context condition.

Definition at line 595 of file DPItem.h.

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

◆ vfEdgesTrace()

std::string SVF::VFPathCond::vfEdgesTrace ( ) const

inline

Get value-flow edge traces.

Definition at line 584 of file DPItem.h.

     {
         std::string str;
         raw_string_ostream rawstr(str);
         for(EdgeSet::const_iterator it = edges.begin(), eit = edges.end(); it!=eit; ++it)
         {
             rawstr << "(" << it->first << "," << it->second << ")";
         }
         return rawstr.str();
     }

Member Data Documentation

◆ edges

EdgeSet SVF::VFPathCond::edges

private

Definition at line 611 of file DPItem.h.

◆ maximumPath

u32_t VFPathCond::maximumPath = 0

static

Definition at line 614 of file DPItem.h.

◆ maximumPathLen

u32_t VFPathCond::maximumPathLen = 0

staticprivate

Definition at line 612 of file DPItem.h.

◆ path

PathCond* SVF::VFPathCond::path

private

Definition at line 610 of file DPItem.h.

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

/home/runner/work/SVF-1/SVF-1/include/Util/DPItem.h
/home/runner/work/SVF-1/SVF-1/lib/Util/PathCondAllocator.cpp

Public Types

Public Member Functions

Static Public Member Functions

Static Public Attributes

Private Attributes

Static Private Attributes

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ EdgeSet

◆ PathCond

Constructor & Destructor Documentation

◆ VFPathCond() [1/2]

◆ VFPathCond() [2/2]

◆ ~VFPathCond()

Member Function Documentation

◆ addPath()

◆ addVFEdge()

◆ condAnd()

◆ condOr()

◆ getMaxPathLen()

◆ getPaths()

◆ getVFEdges()

◆ hasIncomingEdge()

◆ hasOutgoingEdge()

◆ hasVFEdge()

◆ operator!=()

◆ operator<()

◆ operator=()

◆ operator==()

◆ pathLen()

◆ setMaxPathLen()

◆ setPaths()

◆ toString()

◆ vfEdgesTrace()

Member Data Documentation

◆ edges

◆ maximumPath

◆ maximumPathLen

◆ path