Static Value-Flow Analysis
SVF::Annotator Member List

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

addMDTag(Instruction *inst, std::string str)SVF::Annotatorinline
addMDTag(Instruction *inst, Value *val, std::string str)SVF::Annotatorinline
Annotator()SVF::Annotatorinline
DR_CHECKSVF::Annotatorprotected
DR_NOT_CHECKSVF::Annotatorprotected
evalMDTag(const Instruction *inst, const Value *val, std::string str, std::vector< Value * > &) constSVF::Annotatorinlineprivate
hasDRCheckFlag(Instruction *inst) constSVF::Annotatorinline
hasDRCheckFlag(const Instruction *inst) constSVF::Annotatorinline
hasDRNotCheckFlag(Instruction *inst) constSVF::Annotatorinline
hasDRNotCheckFlag(const Instruction *inst) constSVF::Annotatorinline
hasSBSinkFlag(Instruction *inst) constSVF::Annotatorinline
hasSBSourceFlag(Instruction *inst) constSVF::Annotatorinline
removeMDTag(Instruction *inst, std::string str)SVF::Annotatorinline
removeMDTag(Instruction *inst, Value *val, std::string str)SVF::Annotatorinline
SB_FESIBLESVF::Annotatorprotected
SB_INFESIBLESVF::Annotatorprotected
SB_SLICESINKSVF::Annotatorprotected
SB_SLICESOURCESVF::Annotatorprotected
~Annotator()SVF::Annotatorinlinevirtual