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.
virtual	~CallMU ()
const CallICFGNode *	getCallSite () const
	Return callsite.
const SVFBasicBlock *	getBasicBlock () const
	Return basic block.
virtual void	dump ()
	Print MU.
Public Member Functions inherited from SVF::MSSAMU< Cond >
	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.

Static Public Member Functions
static bool	classof (const CallMU *)
	Methods for support type inquiry through isa, cast, and dyn_cast:
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 222 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 231 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 235 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 255 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 259 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 266 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 248 of file MSSAMuChi.h.

    {
        return callsite->getBB();
    }

getCallSite()

template<class Cond >

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

inline

Return callsite.

Definition at line 242 of file MSSAMuChi.h.

    {
        return callsite;
    }

Member Data Documentation

callsite

template<class Cond >

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

private

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