|
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 |