Static Value-Flow Analysis
|
#include <DPItem.h>
Public Member Functions | |
CxtStmtDPItem (const CxtVar &var, const LocCond *locCond) | |
Constructor. More... | |
CxtStmtDPItem (const CxtStmtDPItem< LocCond > &dps) | |
Copy constructor. More... | |
virtual | ~CxtStmtDPItem () |
Destructor. More... | |
CxtVar | getCondVar () const |
Get context var. More... | |
const ContextCond & | getCond () const |
Get context. More... | |
ContextCond & | getCond () |
Get context. More... | |
bool | pushContext (NodeID cxt) |
Push context. More... | |
bool | matchContext (NodeID cxt) |
Match context. More... | |
bool | operator< (const CxtStmtDPItem< LocCond > &rhs) const |
CxtStmtDPItem< LocCond > & | operator= (const CxtStmtDPItem< LocCond > &rhs) |
Overloading operator=. More... | |
bool | operator== (const CxtStmtDPItem< LocCond > &rhs) const |
Overloading operator==. More... | |
bool | operator!= (const CxtStmtDPItem< LocCond > &rhs) const |
Overloading operator==. More... | |
void | dump () const |
Public Member Functions inherited from SVF::StmtDPItem< LocCond > | |
StmtDPItem (NodeID c, const LocCond *locCond) | |
Constructor. More... | |
StmtDPItem (const StmtDPItem &dps) | |
Copy constructor. More... | |
virtual | ~StmtDPItem () |
Destructor. More... | |
const LocCond * | getLoc () const |
Get context. More... | |
void | setLoc (const LocCond *l) |
Set location. More... | |
void | setLocVar (const LocCond *l, NodeID v) |
Set location and pointer id. More... | |
bool | operator< (const StmtDPItem &rhs) const |
StmtDPItem & | operator= (const StmtDPItem &rhs) |
Overloading operator==. More... | |
bool | operator== (const StmtDPItem &rhs) const |
Overloading operator==. More... | |
bool | operator!= (const StmtDPItem &rhs) const |
Overloading operator!=. More... | |
void | dump () const |
Public Member Functions inherited from SVF::DPItem | |
DPItem (NodeID c) | |
Constructor. More... | |
DPItem (const DPItem &dps) | |
Copy constructor. More... | |
DPItem (DPItem &&dps) noexcept | |
Move constructor. More... | |
DPItem & | operator= (DPItem &&rhs) noexcept |
Move operator=. More... | |
virtual | ~DPItem () |
Destructor. More... | |
NodeID | getCurNodeID () const |
void | setCurNodeID (NodeID c) |
bool | operator< (const DPItem &rhs) const |
DPItem & | operator= (const DPItem &rhs) |
Overloading Operator=. More... | |
bool | operator== (const DPItem &rhs) const |
Overloading Operator==. More... | |
bool | operator!= (const DPItem &rhs) const |
Overloading Operator!=. More... | |
void | dump () const |
Private Attributes | |
ContextCond | context |
Additional Inherited Members | |
Static Public Member Functions inherited from SVF::DPItem | |
static void | setMaxBudget (u32_t max) |
set max step budge per query More... | |
static u32_t | getMaxBudget () |
Protected Attributes inherited from SVF::StmtDPItem< LocCond > | |
const LocCond * | curloc |
Protected Attributes inherited from SVF::DPItem | |
NodeID | cur |
Static Protected Attributes inherited from SVF::DPItem | |
static u64_t | maximumBudget = ULONG_MAX - 1 |
|
inline |
|
inline |
|
inlinevirtual |
|
inline |
Definition at line 466 of file DPItem.h.
|
inline |
|
inline |
|
inline |
|
inline |
Match context.
Definition at line 430 of file DPItem.h.
|
inline |
|
inline |
|
inline |
Overloading operator=.
Definition at line 447 of file DPItem.h.
|
inline |
|
inline |
Push context.
Definition at line 424 of file DPItem.h.
|
private |