Static Value-Flow Analysis
|
#include <MSSAMuChi.h>
Public Member Functions | |
EntryCHI (const FunObjVar *f, const MemRegion *m, Cond c=true) | |
Constructors for EntryCHI. | |
virtual | ~EntryCHI () |
const FunObjVar * | getFunction () const |
Return function. | |
virtual void | dump () |
Print CHI. | |
![]() | |
MSSACHI (CHITYPE t, const MemRegion *m, Cond c) | |
Constructor/Destructor for MSSACHI. | |
virtual | ~MSSACHI () |
void | setOpVer (MRVer *v) |
Set operand ver. | |
MRVer * | getOpVer () const |
Get operand ver. | |
Cond | getCond () const |
Get condition. | |
![]() | |
MSSADEF (DEFTYPE t, const MemRegion *m) | |
Constructor/Destructor for MSSADEF. | |
virtual | ~MSSADEF () |
const MemRegion * | getMR () const |
Return memory region. | |
DEFTYPE | getType () const |
Return type of this CHI. | |
void | setResVer (MRVer *v) |
Set result operand ver. | |
MRVer * | getResVer () const |
Set operand vers. | |
bool | operator< (const MSSADEF &rhs) const |
Avoid adding duplicated chis and phis. | |
Static Public Member Functions | |
static bool | classof (const EntryCHI *chi) |
Methods for support type inquiry through isa, cast, and dyn_cast: | |
static bool | classof (const MSSACHI< Cond > *chi) |
static bool | classof (const MSSADEF *chi) |
![]() | |
static bool | classof (const MSSACHI *chi) |
Methods for support type inquiry through isa, cast, and dyn_cast: | |
static bool | classof (const MSSADEF *chi) |
Private Attributes | |
const FunObjVar * | fun |
Additional Inherited Members | |
![]() | |
typedef MSSADEF::DEFTYPE | CHITYPE |
![]() | |
enum | DEFTYPE { SSACHI , StoreMSSACHI , CallMSSACHI , EntryMSSACHI , SSAPHI } |
![]() | |
DEFTYPE | type |
const MemRegion * | mr |
MRVer * | resVer |
EntryCHI is annotated at function entry, representing receiving memory objects from callers
Definition at line 578 of file MSSAMuChi.h.
Definition at line 589 of file MSSAMuChi.h.
Methods for support type inquiry through isa, cast, and dyn_cast:
Definition at line 602 of file MSSAMuChi.h.
Definition at line 606 of file MSSAMuChi.h.
Definition at line 610 of file MSSAMuChi.h.
|
inlinevirtual |
Print CHI.
Reimplemented from SVF::MSSACHI< Cond >.
Definition at line 617 of file MSSAMuChi.h.
Definition at line 581 of file MSSAMuChi.h.