SVF::CallMU< Cond > Class Template Reference

#include <MSSAMuChi.h>

Inheritance diagram for SVF::CallMU< Cond >:

Public Member Functions
	CallMU (const CallICFGNode *cs, const MemRegion *m, Cond c=true)
	Constructor/Destructor for MU. More...
virtual	~CallMU ()
const CallICFGNode *	getCallSite () const
	Return callsite. 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 CallMU *)
	Methods for support type inquiry through isa, cast, and dyn_cast: More...
static bool	classof (const MSSAMU< Cond > *mu)

Private Attributes
const CallICFGNode *	callsite

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

Detailed Description

template<class Cond>
class SVF::CallMU< Cond >

CallMU is annotated at callsite, representing a memory object is indirect read by callee

Definition at line 221 of file MSSAMuChi.h.

Constructor & Destructor Documentation

CallMU()

template<class Cond >

SVF::CallMU< Cond >::CallMU ( const CallICFGNode *  cs, const MemRegion *  m, Cond  c = true  )

inline

Constructor/Destructor for MU.

Definition at line 230 of file MSSAMuChi.h.

                                                                      :
        MSSAMU<Cond>(MSSAMU<Cond>::CallMSSAMU,m,c), callsite(cs)
    {
    }

~CallMU()

template<class Cond >

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

inlinevirtual

Definition at line 234 of file MSSAMuChi.h.

    {
 
    }

Member Function Documentation

classof() [1/2]

template<class Cond >

static bool SVF::CallMU< Cond >::classof ( const CallMU< Cond > *  )

inlinestatic

Methods for support type inquiry through isa, cast, and dyn_cast:

Definition at line 254 of file MSSAMuChi.h.

    {
        return true;
    }

classof() [2/2]

template<class Cond >

static bool SVF::CallMU< Cond >::classof ( const MSSAMU< Cond > *  mu )

inlinestatic

Definition at line 258 of file MSSAMuChi.h.

    {
        return mu->getType() == MSSAMU<Cond>::CallMSSAMU;
    }

dump()

template<class Cond >

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

inlinevirtual

Print MU.

Reimplemented from SVF::MSSAMU< Cond >.

Definition at line 265 of file MSSAMuChi.h.

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

getBasicBlock()

template<class Cond >

const SVFBasicBlock* SVF::CallMU< Cond >::getBasicBlock ( ) const

inline

Return basic block.

Definition at line 247 of file MSSAMuChi.h.

    {
        return callsite->getBB();
    }

getCallSite()

template<class Cond >

const CallICFGNode* SVF::CallMU< Cond >::getCallSite ( ) const

inline

Return callsite.

Definition at line 241 of file MSSAMuChi.h.

    {
        return callsite;
    }

Member Data Documentation

callsite

template<class Cond >

const CallICFGNode* SVF::CallMU< Cond >::callsite

private

Definition at line 225 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