SVF::MSSAMU< Cond > Class Template Reference

#include <MSSAMuChi.h>

Inheritance diagram for SVF::MSSAMU< Cond >:

Public Types
enum	MUTYPE { LoadMSSAMU , CallMSSAMU , RetMSSAMU }

Public Member Functions
	MSSAMU (MUTYPE t, const MemRegion *m, Cond c)
	Constructor/Destructor for MU.
virtual	~MSSAMU ()
const MemRegion *	getMR () const
	Return MR.
MUTYPE	getType () const
	Return type.
void	setVer (MRVer *v)
	Set Ver.
MRVer *	getMRVer () const
	Get Ver.
Cond	getCond () const
	Return condition.
bool	operator< (const MSSAMU &rhs) const
	Avoid adding duplicated mus.
virtual void	dump ()
	Print MU.

Protected Attributes
MUTYPE	type
const MemRegion *	mr
MRVer *	ver
Cond	cond

Detailed Description

template<class Cond>
class SVF::MSSAMU< Cond >

Indirect Memory Read 1) LoadMU at each store instruction 2) CallMU at callsite 3) RetMU at function return

Definition at line 96 of file MSSAMuChi.h.

Member Enumeration Documentation

MUTYPE

template<class Cond >

enum SVF::MSSAMU::MUTYPE

Enumerator
LoadMSSAMU
CallMSSAMU
RetMSSAMU

Definition at line 100 of file MSSAMuChi.h.

    {
        LoadMSSAMU, CallMSSAMU, RetMSSAMU
    };

Constructor & Destructor Documentation

MSSAMU()

template<class Cond >

SVF::MSSAMU< Cond >::MSSAMU ( MUTYPE  t, const MemRegion *  m, Cond  c  )

inline

Constructor/Destructor for MU.

Definition at line 113 of file MSSAMuChi.h.

                                                 : type(t), mr(m), ver(nullptr), cond(c)
    {
    }

~MSSAMU()

template<class Cond >

virtual SVF::MSSAMU< Cond >::~MSSAMU ( )

inlinevirtual

Definition at line 116 of file MSSAMuChi.h.

    {
    }

Member Function Documentation

dump()

template<class Cond >

virtual void SVF::MSSAMU< Cond >::dump ( )

inlinevirtual

Print MU.

Reimplemented in SVF::LoadMU< Cond >, SVF::CallMU< Cond >, and SVF::RetMU< Cond >.

Definition at line 155 of file MSSAMuChi.h.

    {
        SVFUtil::outs() << "MU(MR_" << mr->getMRID() << "V_" << ver->getSSAVersion() << ") \t" <<
                        this->getMR()->dumpStr() << "\n";
    }

getCond()

template<class Cond >

Cond SVF::MSSAMU< Cond >::getCond ( ) const

inline

Return condition.

Definition at line 144 of file MSSAMuChi.h.

    {
        return cond;
    }

getMR()

template<class Cond >

const MemRegion * SVF::MSSAMU< Cond >::getMR ( ) const

inline

Return MR.

Definition at line 122 of file MSSAMuChi.h.

    {
        return mr;
    }

getMRVer()

template<class Cond >

MRVer * SVF::MSSAMU< Cond >::getMRVer ( ) const

inline

Get Ver.

Definition at line 138 of file MSSAMuChi.h.

    {
        assert(ver!=nullptr && "version is nullptr, did not rename?");
        return ver;
    }

getType()

template<class Cond >

MUTYPE SVF::MSSAMU< Cond >::getType ( ) const

inline

Return type.

Definition at line 127 of file MSSAMuChi.h.

    {
        return type;
    }

operator<()

template<class Cond >

bool SVF::MSSAMU< Cond >::operator< ( const MSSAMU< Cond > &  rhs ) const

inline

Avoid adding duplicated mus.

Definition at line 150 of file MSSAMuChi.h.

    {
        return mr > rhs.getMR();
    }

setVer()

template<class Cond >

void SVF::MSSAMU< Cond >::setVer ( MRVer *  v )

inline

Set Ver.

Definition at line 132 of file MSSAMuChi.h.

    {
        assert(v->getMR() == mr && "inserting different memory region?");
        ver = v;
    }

Member Data Documentation

cond

template<class Cond >

Cond SVF::MSSAMU< Cond >::cond

protected

Definition at line 109 of file MSSAMuChi.h.

mr

template<class Cond >

const MemRegion* SVF::MSSAMU< Cond >::mr

protected

Definition at line 107 of file MSSAMuChi.h.

type

template<class Cond >

MUTYPE SVF::MSSAMU< Cond >::type

protected

Definition at line 106 of file MSSAMuChi.h.

ver

template<class Cond >

MRVer* SVF::MSSAMU< Cond >::ver

protected

Definition at line 108 of file MSSAMuChi.h.

---

The documentation for this class was generated from the following file:

• /home/runner/work/SVF/SVF/svf/include/MSSA/MSSAMuChi.h