| analyze() | SVF::MTAResultValidator | |
| analyze() | SVF::MTAResultValidator | |
| collectCallsiteTargets() | SVF::MTAResultValidator | protected |
| collectCallsiteTargets() | SVF::MTAResultValidator | protected |
| collectCxtThreadTargets() | SVF::MTAResultValidator | protected |
| collectCxtThreadTargets() | SVF::MTAResultValidator | protected |
| collectInterleavingTargets() | SVF::MTAResultValidator | protected |
| collectInterleavingTargets() | SVF::MTAResultValidator | protected |
| collectTCTTargets() | SVF::MTAResultValidator | protected |
| collectTCTTargets() | SVF::MTAResultValidator | protected |
| csnumToInst typedef | SVF::MTAResultValidator | private |
| csnumToInst typedef | SVF::MTAResultValidator | private |
| csnumToInstMap | SVF::MTAResultValidator | private |
| CXT_THREAD | SVF::MTAResultValidator | privatestatic |
| dumpCxt(const CallStrCxt &cxt) const | SVF::MTAResultValidator | protected |
| dumpCxt(const CallStrCxt &cxt) const | SVF::MTAResultValidator | protected |
| dumpInterlev(NodeBS &lev) | SVF::MTAResultValidator | protected |
| dumpInterlev(NodeBS &lev) | SVF::MTAResultValidator | protected |
| getCxtArg(const Instruction *inst, unsigned int arg_num) | SVF::MTAResultValidator | protected |
| getCxtArg(const Instruction *inst, unsigned int arg_num) | SVF::MTAResultValidator | protected |
| getIntArg(const Instruction *inst, unsigned int arg_num) | SVF::MTAResultValidator | protected |
| getIntArg(const Instruction *inst, unsigned int arg_num) | SVF::MTAResultValidator | protected |
| getModule() const | SVF::MTAResultValidator | inline |
| getModule() const | SVF::MTAResultValidator | inline |
| getOutput(const char *scenario, bool analysisRes) | SVF::MTAResultValidator | inlineprotected |
| getOutput(const char *scenario, bool analysisRes) | SVF::MTAResultValidator | inlineprotected |
| getOutputforInterlevAnalysis(const char *scenario, INTERLEV_FLAG analysisRes) | SVF::MTAResultValidator | inlineprotected |
| getOutputforInterlevAnalysis(const char *scenario, INTERLEV_FLAG analysisRes) | SVF::MTAResultValidator | inlineprotected |
| getPreviousMemoryAccessInst(const Instruction *I) | SVF::MTAResultValidator | protected |
| getPreviousMemoryAccessInst(const Instruction *I) | SVF::MTAResultValidator | protected |
| getStringArg(const Instruction *inst, unsigned int arg_num) | SVF::MTAResultValidator | protected |
| getStringArg(const Instruction *inst, unsigned int arg_num) | SVF::MTAResultValidator | protected |
| instToTSMap | SVF::MTAResultValidator | private |
| INTERLEV_ACCESS | SVF::MTAResultValidator | privatestatic |
| INTERLEV_FLAG typedef | SVF::MTAResultValidator | |
| INTERLEV_FLAG typedef | SVF::MTAResultValidator | |
| INTERLEV_IMPRECISE | SVF::MTAResultValidator | privatestatic |
| INTERLEV_TRUE | SVF::MTAResultValidator | privatestatic |
| INTERLEV_UNSOUND | SVF::MTAResultValidator | privatestatic |
| matchCxt(const CallStrCxt cxt1, const CallStrCxt cxt2) const | SVF::MTAResultValidator | protected |
| matchCxt(const CallStrCxt cxt1, const CallStrCxt cxt2) const | SVF::MTAResultValidator | protected |
| mhp | SVF::MTAResultValidator | private |
| mod | SVF::MTAResultValidator | private |
| MTAResultValidator(MHP *mh) | SVF::MTAResultValidator | inline |
| MTAResultValidator(MHP *mh) | SVF::MTAResultValidator | inline |
| rthdToChildren | SVF::MTAResultValidator | private |
| rthdToChildrenMap typedef | SVF::MTAResultValidator | private |
| rthdToChildrenMap typedef | SVF::MTAResultValidator | private |
| rthdTovthd | SVF::MTAResultValidator | private |
| rthdTovthdMap typedef | SVF::MTAResultValidator | private |
| rthdTovthdMap typedef | SVF::MTAResultValidator | private |
| split(const std::string &s, char delim, std::vector< std::string > &elems) | SVF::MTAResultValidator | protected |
| split(const std::string &s, char delim) | SVF::MTAResultValidator | protected |
| split(const std::string &s, char delim, std::vector< std::string > &elems) | SVF::MTAResultValidator | protected |
| split(const std::string &s, char delim) | SVF::MTAResultValidator | protected |
| tcg | SVF::MTAResultValidator | private |
| TCT_ACCESS | SVF::MTAResultValidator | privatestatic |
| tdAPI | SVF::MTAResultValidator | private |
| threadStmtToInterLeaving | SVF::MTAResultValidator | private |
| validateCxtThread() | SVF::MTAResultValidator | protected |
| validateCxtThread() | SVF::MTAResultValidator | protected |
| validateInterleaving() | SVF::MTAResultValidator | protected |
| validateInterleaving() | SVF::MTAResultValidator | protected |
| validateTCT() | SVF::MTAResultValidator | protected |
| validateTCT() | SVF::MTAResultValidator | protected |
| vthdToCxt | SVF::MTAResultValidator | private |
| vthdToCxtMap typedef | SVF::MTAResultValidator | private |
| vthdToCxtMap typedef | SVF::MTAResultValidator | private |
| vthdTorthd | SVF::MTAResultValidator | private |
| vthdTorthdMap typedef | SVF::MTAResultValidator | private |
| vthdTorthdMap typedef | SVF::MTAResultValidator | private |
| ~MTAResultValidator() | SVF::MTAResultValidator | inline |
| ~MTAResultValidator() | SVF::MTAResultValidator | inline |
