Static Value-Flow Analysis
|
This is the complete list of members for SVF::Annotator, including all inherited members.
addMDTag(Instruction *inst, std::string str) | SVF::Annotator | inline |
addMDTag(Instruction *inst, Value *val, std::string str) | SVF::Annotator | inline |
Annotator() | SVF::Annotator | inline |
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 |
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 |
SB_FESIBLE | SVF::Annotator | protected |
SB_INFESIBLE | SVF::Annotator | protected |
SB_SLICESINK | SVF::Annotator | protected |
SB_SLICESOURCE | SVF::Annotator | protected |
~Annotator() | SVF::Annotator | inlinevirtual |