Static Value-Flow Analysis
|
#include <ConditionalPT.h>
Classes | |
class | CondPtsSetIterator |
Conditional Points-to Set Iterator. More... | |
Public Types | |
typedef Map< Cond, PointsTo > | CondPts |
typedef CondPts::iterator | CondPtsIter |
typedef CondPts::const_iterator | CondPtsConstIter |
typedef CondVar< Cond > | SingleCondVar |
typedef CondPtsSetIterator | iterator |
Public Member Functions | |
CondPointsToSet () | |
Constructor. More... | |
CondPointsToSet (const Cond &cond, const PointsTo &pts) | |
CondPointsToSet (const CondPointsToSet< Cond > &cptsSet) | |
Copy constructor. More... | |
CondPts & | pointsTo (void) |
Get Conditional PointsTo and standard points-to. More... | |
const CondPts & | pointsTo (void) const |
const PointsTo & | pointsTo (Cond cond) const |
bool | hasPointsTo (Cond cond) const |
PointsTo & | pointsTo (Cond cond) |
CondPtsIter | cptsBegin () |
iterators More... | |
CondPtsIter | cptsEnd () |
CondPtsConstIter | cptsBegin () const |
CondPtsConstIter | cptsEnd () const |
void | clear () |
unsigned | numElement () const |
Get number of points-to targets. More... | |
bool | empty () const |
Return true if no element in the set. More... | |
CondPointsToSet< Cond > & | operator= (const CondPointsToSet< Cond > &other) |
Overloading operators. More... | |
bool | operator== (const CondPointsToSet< Cond > &rhs) const |
Overloading operator ==. More... | |
bool | aliased (const CondPointsToSet< Cond > &rhs) const |
bool | isSubset (const CondPointsToSet< Cond > &rhs) const |
Check whether this CondPointsToSet is a subset of RHS. More... | |
bool | intersects (const CondPointsToSet< Cond > *rhs) const |
Return TRUE if this and RHS share any common element. More... | |
void | intersectWithComplement (const CondPointsToSet< Cond > &cpts1, const CondPointsToSet< Cond > &cpts2) |
Result of cpts1 & ~cpts2 is stored into this bitmap. More... | |
void | intersectWithComplement (const CondPointsToSet< Cond > &cpts1) |
Result of cur & ~cpts1 is stored into this bitmap. More... | |
bool | operator&= (const CondPointsToSet< Cond > &rhs) |
Overloading operator &=. More... | |
bool | operator!= (const CondPointsToSet< Cond > &rhs) |
Overloading operator !=. More... | |
bool | operator|= (const CondPointsToSet< Cond > &rhs) |
bool | operator< (const CondPointsToSet< Cond > &rhs) const |
bool | test_and_set (const SingleCondVar &var) |
Test and set. More... | |
bool | test (const SingleCondVar &var) const |
void | set (const SingleCondVar &var) |
void | reset (const SingleCondVar &var) |
void | dump (OutStream &O) const |
std::string | dumpStr () const |
iterator | begin () |
iterators More... | |
iterator | end () |
iterator | begin () const |
iterator | end () const |
Private Attributes | |
CondPts | _condPts |
Conditional Points-to set
Definition at line 304 of file ConditionalPT.h.
typedef Map<Cond, PointsTo> SVF::CondPointsToSet< Cond >::CondPts |
Definition at line 307 of file ConditionalPT.h.
typedef CondPts::const_iterator SVF::CondPointsToSet< Cond >::CondPtsConstIter |
Definition at line 309 of file ConditionalPT.h.
typedef CondPts::iterator SVF::CondPointsToSet< Cond >::CondPtsIter |
Definition at line 308 of file ConditionalPT.h.
typedef CondPtsSetIterator SVF::CondPointsToSet< Cond >::iterator |
Definition at line 815 of file ConditionalPT.h.
typedef CondVar<Cond> SVF::CondPointsToSet< Cond >::SingleCondVar |
Definition at line 310 of file ConditionalPT.h.
|
inline |
|
inline |
Definition at line 317 of file ConditionalPT.h.
|
inline |
Copy constructor.
Definition at line 324 of file ConditionalPT.h.
|
inline |
Two conditional points-to set are aliased when they access the same memory location under the same condition
Definition at line 434 of file ConditionalPT.h.
|
inline |
|
inline |
Definition at line 828 of file ConditionalPT.h.
|
inline |
Definition at line 376 of file ConditionalPT.h.
|
inline |
|
inline |
Definition at line 366 of file ConditionalPT.h.
|
inline |
Definition at line 362 of file ConditionalPT.h.
|
inline |
Definition at line 370 of file ConditionalPT.h.
|
inline |
Definition at line 711 of file ConditionalPT.h.
|
inline |
Definition at line 723 of file ConditionalPT.h.
|
inline |
Return true if no element in the set.
Definition at line 398 of file ConditionalPT.h.
|
inline |
Definition at line 823 of file ConditionalPT.h.
|
inline |
Definition at line 833 of file ConditionalPT.h.
|
inline |
Definition at line 346 of file ConditionalPT.h.
|
inline |
Return TRUE if this and RHS share any common element.
if either cpts is empty, just return.
Definition at line 484 of file ConditionalPT.h.
|
inline |
Result of cur & ~cpts1 is stored into this bitmap.
if either cpts is empty, just return.
Definition at line 540 of file ConditionalPT.h.
|
inline |
Result of cpts1 & ~cpts2 is stored into this bitmap.
Definition at line 507 of file ConditionalPT.h.
|
inline |
Check whether this CondPointsToSet is a subset of RHS.
Definition at line 458 of file ConditionalPT.h.
|
inline |
|
inline |
Overloading operator !=.
Definition at line 601 of file ConditionalPT.h.
|
inline |
|
inline |
Compare two CondPointsToSet according to their points-to set size and points-to elements.
Definition at line 634 of file ConditionalPT.h.
|
inline |
Overloading operators.
Definition at line 406 of file ConditionalPT.h.
|
inline |
|
inline |
Overloading operator |= Merge CondPointsToSet of RHS into this one.
Definition at line 610 of file ConditionalPT.h.
|
inline |
Definition at line 350 of file ConditionalPT.h.
|
inline |
Definition at line 340 of file ConditionalPT.h.
|
inline |
Get Conditional PointsTo and standard points-to.
Definition at line 332 of file ConditionalPT.h.
|
inline |
Definition at line 336 of file ConditionalPT.h.
|
inline |
Definition at line 699 of file ConditionalPT.h.
|
inline |
Definition at line 694 of file ConditionalPT.h.
|
inline |
Definition at line 685 of file ConditionalPT.h.
|
inline |
|
private |
Definition at line 840 of file ConditionalPT.h.