Static Value-Flow Analysis
|
#include <MSSAMuChi.h>
Public Member Functions | |
LoadMU (const SVFBasicBlock *b, const LoadStmt *i, const MemRegion *m, Cond c=true) | |
Constructor/Destructor for MU. More... | |
virtual | ~LoadMU () |
const LoadStmt * | getLoadStmt () const |
Return load instruction. More... | |
const SVFBasicBlock * | getBasicBlock () const |
Return basic block. More... | |
virtual void | dump () |
Print MU. More... | |
Public Member Functions inherited from SVF::MSSAMU< Cond > | |
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... | |
Static Public Member Functions | |
static bool | classof (const LoadMU *) |
Methods for support type inquiry through isa, cast, and dyn_cast: More... | |
static bool | classof (const MSSAMU< Cond > *mu) |
Private Attributes | |
const LoadStmt * | inst |
const SVFBasicBlock * | bb |
Additional Inherited Members | |
Public Types inherited from SVF::MSSAMU< Cond > | |
enum | MUTYPE { LoadMSSAMU , CallMSSAMU , RetMSSAMU } |
Protected Attributes inherited from SVF::MSSAMU< Cond > | |
MUTYPE | type |
const MemRegion * | mr |
MRVer * | ver |
Cond | cond |
LoadMU is annotated at each load instruction, representing a memory object is read here
Definition at line 165 of file MSSAMuChi.h.
|
inline |
|
inlinevirtual |
Definition at line 179 of file MSSAMuChi.h.
|
inlinestatic |
Methods for support type inquiry through isa, cast, and dyn_cast:
Definition at line 199 of file MSSAMuChi.h.
|
inlinestatic |
Definition at line 203 of file MSSAMuChi.h.
|
inlinevirtual |
Print MU.
Reimplemented from SVF::MSSAMU< Cond >.
Definition at line 210 of file MSSAMuChi.h.
|
inline |
|
inline |
|
private |
Definition at line 170 of file MSSAMuChi.h.
|
private |
Definition at line 169 of file MSSAMuChi.h.