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

_curSlice	SVF::SaberAnnotator	private
addMDTag(Instruction *inst, std::string str)	SVF::Annotator	inline
addMDTag(Instruction inst, Value val, std::string str)	SVF::Annotator	inline
annotateFeasibleBranch(const BranchInst *brInst, u32_t succPos)	SVF::SaberAnnotator
annotateInfeasibleBranch(const BranchInst *brInst, u32_t succPos)	SVF::SaberAnnotator
annotateSinks()	SVF::SaberAnnotator
annotateSource()	SVF::SaberAnnotator
annotateSwitch(SwitchInst *brInst, u32_t succPos)	SVF::SaberAnnotator
Annotator()	SVF::Annotator	inline
DR_CHECK	SVF::Annotator	protected
DR_NOT_CHECK	SVF::Annotator	protected
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
removeMDTag(Instruction *inst, std::string str)	SVF::Annotator	inline
removeMDTag(Instruction inst, Value val, std::string str)	SVF::Annotator	inline
SaberAnnotator(ProgSlice *slice)	SVF::SaberAnnotator	inline
SB_FESIBLE	SVF::Annotator	protected
SB_INFESIBLE	SVF::Annotator	protected
SB_SLICESINK	SVF::Annotator	protected
SB_SLICESOURCE	SVF::Annotator	protected
~Annotator()	SVF::Annotator	inlinevirtual
~SaberAnnotator()	SVF::SaberAnnotator	inlinevirtual