Static Value-Flow Analysis
|
#include <MSSAMuChi.h>
Public Member Functions | |
StoreCHI (const SVFBasicBlock *b, const StoreStmt *i, const MemRegion *m, Cond c=true) | |
Constructors for StoreCHI. More... | |
virtual | ~StoreCHI () |
const SVFBasicBlock * | getBasicBlock () const |
Get basic block. More... | |
const StoreStmt * | getStoreStmt () const |
Get store instruction. More... | |
virtual void | dump () |
Print CHI. More... | |
Public Member Functions inherited from SVF::MSSACHI< Cond > | |
MSSACHI (CHITYPE t, const MemRegion *m, Cond c) | |
Constructor/Destructor for MSSACHI. More... | |
virtual | ~MSSACHI () |
void | setOpVer (MRVer *v) |
Set operand ver. More... | |
MRVer * | getOpVer () const |
Get operand ver. More... | |
Cond | getCond () const |
Get condition. More... | |
Public Member Functions inherited from SVF::MSSADEF | |
MSSADEF (DEFTYPE t, const MemRegion *m) | |
Constructor/Destructor for MSSADEF. More... | |
virtual | ~MSSADEF () |
const MemRegion * | getMR () const |
Return memory region. More... | |
DEFTYPE | getType () const |
Return type of this CHI. More... | |
void | setResVer (MRVer *v) |
Set result operand ver. More... | |
MRVer * | getResVer () const |
Set operand vers. More... | |
bool | operator< (const MSSADEF &rhs) const |
Avoid adding duplicated chis and phis. More... | |
Static Public Member Functions | |
static bool | classof (const StoreCHI *chi) |
Methods for support type inquiry through isa, cast, and dyn_cast: More... | |
static bool | classof (const MSSACHI< Cond > *chi) |
static bool | classof (const MSSADEF *chi) |
Static Public Member Functions inherited from SVF::MSSACHI< Cond > | |
static bool | classof (const MSSACHI *chi) |
Methods for support type inquiry through isa, cast, and dyn_cast: More... | |
static bool | classof (const MSSADEF *chi) |
Private Attributes | |
const SVFBasicBlock * | bb |
const StoreStmt * | inst |
Additional Inherited Members | |
Public Types inherited from SVF::MSSACHI< Cond > | |
typedef MSSADEF::DEFTYPE | CHITYPE |
Public Types inherited from SVF::MSSADEF | |
enum | DEFTYPE { SSACHI , StoreMSSACHI , CallMSSACHI , EntryMSSACHI , SSAPHI } |
Protected Attributes inherited from SVF::MSSADEF | |
DEFTYPE | type |
const MemRegion * | mr |
MRVer * | resVer |
StoreCHI is annotated at each store instruction, representing a memory object is modified here
Definition at line 461 of file MSSAMuChi.h.
|
inline |
|
inlinevirtual |
Definition at line 473 of file MSSAMuChi.h.
|
inlinestatic |
Definition at line 496 of file MSSAMuChi.h.
|
inlinestatic |
Definition at line 500 of file MSSAMuChi.h.
|
inlinestatic |
Methods for support type inquiry through isa, cast, and dyn_cast:
Definition at line 492 of file MSSAMuChi.h.
|
inlinevirtual |
Print CHI.
Reimplemented from SVF::MSSACHI< Cond >.
Definition at line 507 of file MSSAMuChi.h.
|
inline |
|
inline |
|
private |
Definition at line 464 of file MSSAMuChi.h.
|
private |
Definition at line 465 of file MSSAMuChi.h.