Static Value-Flow Analysis
|
#include <CxtStmt.h>
Public Member Functions | |
CxtThreadProc (NodeID t, const CallStrCxt &c, const SVFFunction *f) | |
Constructor. More... | |
CxtThreadProc (const CxtThreadProc &ctm) | |
Copy constructor. More... | |
virtual | ~CxtThreadProc () |
Destructor. More... | |
NodeID | getTid () const |
Return current thread id. More... | |
bool | operator< (const CxtThreadProc &rhs) const |
CxtThreadProc & | operator= (const CxtThreadProc &rhs) |
Overloading operator=. More... | |
bool | operator== (const CxtThreadProc &rhs) const |
Overloading operator==. More... | |
bool | operator!= (const CxtThreadProc &rhs) const |
Overloading operator==. More... | |
void | dump () const |
Dump CxtThreadProc. More... | |
Public Member Functions inherited from SVF::CxtProc | |
CxtProc (const CallStrCxt &c, const SVFFunction *f) | |
Constructor. More... | |
CxtProc (const CxtProc &ctm) | |
Copy constructor. More... | |
virtual | ~CxtProc () |
Destructor. More... | |
const SVFFunction * | getProc () const |
Return current procedure. More... | |
const CallStrCxt & | getContext () const |
Return current context. More... | |
bool | operator< (const CxtProc &rhs) const |
CxtProc & | operator= (const CxtProc &rhs) |
Overloading operator=. More... | |
bool | operator== (const CxtProc &rhs) const |
Overloading operator==. More... | |
bool | operator!= (const CxtProc &rhs) const |
Overloading operator==. More... | |
std::string | cxtToStr () const |
Return context in string format. More... | |
void | dump () const |
Dump CxtProc. More... | |
Private Attributes | |
NodeID | tid |
Additional Inherited Members | |
Protected Attributes inherited from SVF::CxtProc | |
CallStrCxt | cxt |
const SVFFunction * | fun |
Context-sensitive procedure <t,c,m> t represent current thread during traversing c represent current context m represent current procedure
|
inline |
Constructor.
Definition at line 400 of file CxtStmt.h.
|
inline |
|
inlinevirtual |
|
inline |
Dump CxtThreadProc.
Definition at line 449 of file CxtStmt.h.
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |