Static Value-Flow Analysis
|
#include <MSSAMuChi.h>
Public Types | |
enum | MUTYPE { LoadMSSAMU , CallMSSAMU , RetMSSAMU } |
Public Member Functions | |
MSSAMU (MUTYPE t, const MemRegion *m, Cond c) | |
Constructor/Destructor for MU. More... | |
virtual | ~MSSAMU () |
const MemRegion * | getMR () const |
Return MR. More... | |
MUTYPE | getType () const |
Return type. More... | |
void | setVer (MRVer *v) |
Set Ver. More... | |
MRVer * | getMRVer () const |
Get Ver. More... | |
Cond | getCond () const |
Return condition. More... | |
bool | operator< (const MSSAMU &rhs) const |
Avoid adding duplicated mus. More... | |
virtual void | dump () |
Print MU. More... | |
Protected Attributes | |
MUTYPE | type |
const MemRegion * | mr |
MRVer * | ver |
Cond | cond |
Indirect Memory Read 1) LoadMU at each store instruction 2) CallMU at callsite 3) RetMU at function return
Definition at line 95 of file MSSAMuChi.h.
enum SVF::MSSAMU::MUTYPE |
|
inline |
|
inlinevirtual |
Definition at line 115 of file MSSAMuChi.h.
|
inlinevirtual |
Print MU.
Reimplemented in SVF::RetMU< Cond >, SVF::CallMU< Cond >, and SVF::LoadMU< Cond >.
Definition at line 154 of file MSSAMuChi.h.
|
inline |
|
inline |
|
inline |
Get Ver.
Definition at line 137 of file MSSAMuChi.h.
|
inline |
|
inline |
Avoid adding duplicated mus.
Definition at line 149 of file MSSAMuChi.h.
|
inline |
Set Ver.
Definition at line 131 of file MSSAMuChi.h.
|
protected |
Definition at line 108 of file MSSAMuChi.h.
|
protected |
Definition at line 106 of file MSSAMuChi.h.
|
protected |
Definition at line 105 of file MSSAMuChi.h.
|
protected |
Definition at line 107 of file MSSAMuChi.h.