SVF::MTAAnnotator Member List

This is the complete list of members for SVF::MTAAnnotator, including all inherited members.

addMDTag(Instruction *inst, std::string str)	SVF::Annotator	inline
addMDTag(Instruction *inst, Value *val, std::string str)	SVF::Annotator	inline
ANNO_ALIAS	SVF::MTAAnnotator	static
ANNO_LOCAL	SVF::MTAAnnotator	static
ANNO_MHP	SVF::MTAAnnotator	static
annotateDRCheck(Instruction *inst)	SVF::MTAAnnotator
Annotator()	SVF::Annotator	inline
collectLoadStoreInst(SVFModule *mod)	SVF::MTAAnnotator
DR_CHECK	SVF::Annotator	protected
DR_NOT_CHECK	SVF::Annotator	protected
evalMDTag(const Instruction *inst, const Value *val, std::string str, std::vector< Value * > &) const	SVF::Annotator	inlineprivate
getLoadOperand(const Instruction *inst)	SVF::MTAAnnotator
getStoreOperand(const Instruction *inst)	SVF::MTAAnnotator
hasDRCheckFlag(Instruction *inst) const	SVF::Annotator	inline
hasDRCheckFlag(const Instruction *inst) const	SVF::Annotator	inline
hasDRNotCheckFlag(Instruction *inst) const	SVF::Annotator	inline
hasDRNotCheckFlag(const Instruction *inst) const	SVF::Annotator	inline
hasSBSinkFlag(Instruction *inst) const	SVF::Annotator	inline
hasSBSourceFlag(Instruction *inst) const	SVF::Annotator	inline
initialize(MHP *mhp, LockAnalysis *lsa)	SVF::MTAAnnotator
InstSet typedef	SVF::MTAAnnotator
isMemcpy(const Instruction *I)	SVF::MTAAnnotator	inline
isMemset(const Instruction *I)	SVF::MTAAnnotator	inline
loadset	SVF::MTAAnnotator	private
lsa	SVF::MTAAnnotator	private
mhp	SVF::MTAAnnotator	private
MTAAnnotator()	SVF::MTAAnnotator	inline
numOfAliasLd	SVF::MTAAnnotator
numOfAliasSt	SVF::MTAAnnotator
numOfAllLd	SVF::MTAAnnotator
numOfAllSt	SVF::MTAAnnotator
numOfAnnotatedLd	SVF::MTAAnnotator
numOfAnnotatedSt	SVF::MTAAnnotator
numOfMHPLd	SVF::MTAAnnotator
numOfMHPSt	SVF::MTAAnnotator
numOfNonLocalLd	SVF::MTAAnnotator
numOfNonLocalSt	SVF::MTAAnnotator
performAnnotate()	SVF::MTAAnnotator
pruneAliasMHP(PointerAnalysis *pta)	SVF::MTAAnnotator
pruneThreadLocal(PointerAnalysis *pta)	SVF::MTAAnnotator
removeMDTag(Instruction *inst, std::string str)	SVF::Annotator	inline
removeMDTag(Instruction *inst, Value *val, std::string str)	SVF::Annotator	inline
SB_FESIBLE	SVF::Annotator	protected
SB_INFESIBLE	SVF::Annotator	protected
SB_SLICESINK	SVF::Annotator	protected
SB_SLICESOURCE	SVF::Annotator	protected
storeset	SVF::MTAAnnotator	private
~Annotator()	SVF::Annotator	inlinevirtual
~MTAAnnotator()	SVF::MTAAnnotator	inlinevirtual