Static Value-Flow Analysis
|
#include <DPItem.h>
Public Types | |
typedef CallStrCxt::const_iterator | const_iterator |
Public Member Functions | |
ContextCond () | |
Constructor. More... | |
ContextCond (const ContextCond &cond) | |
Copy Constructor. More... | |
ContextCond (ContextCond &&cond) noexcept | |
Move Constructor. More... | |
ContextCond & | operator= (ContextCond &&cond) noexcept |
Move operator=. 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... | |
u32_t | getMaxPathLen () const |
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 | setMaxCxtLen (u32_t max) |
set max context limit More... | |
static void | setMaxPathLen (u32_t max) |
set max path limit More... | |
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 |
typedef CallStrCxt::const_iterator SVF::ContextCond::const_iterator |
|
inline |
|
inlinenoexcept |
Move Constructor.
Definition at line 219 of file DPItem.h.
|
inlinevirtual |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
Whether it is an concrete context.
|
inlinevirtual |
Match context.
if context is empty, then it is the unbalanced parentheses match
otherwise, we perform balanced parentheses matching
|
inline |
|
inline |
|
inline |
|
inlinenoexcept |
|
inline |
|
inlinevirtual |
Push context.
handle out of context limit case
Definition at line 279 of file DPItem.h.
|
inlinestatic |
|
inlinestatic |
|
inline |
Whether it is an concrete context.
|
inline |
|
protected |