|
Static Value-Flow Analysis
|
This is the complete list of members for SVF::MHP, including all inherited members.
| addInterleavingBits(const CxtThreadStmt &tgr, const NodeBS &bits) | SVF::MHP | inlineprotected |
| addInterleavingThread(const CxtThreadStmt &tgr, NodeID tid) | SVF::MHP | inlineprotected |
| addInterleavingThread(const CxtThreadStmt &tgr, const CxtThreadStmt &src) | SVF::MHP | inlineprotected |
| analyze(ICFGGraph icfg, CGGraph cg) | SVF::MHP | |
| analyzeInterleaving(ICFGGraph icfg, CGGraph cg) | SVF::MHP | |
| bbToSymJoins | SVF::MHP | protected |
| BBToSymJoinsMap typedef | SVF::MHP | protected |
| buildSymJoinKillTables() | SVF::MHP | protected |
| cxtStmtList | SVF::MHP | protected |
| CxtThreadStmtSet typedef | SVF::MHP | |
| CxtThreadStmtWorkList typedef | SVF::MHP | |
| edgeFlow(const CxtThreadStmt &cts, const ICFGNode *dst) | SVF::MHP | protected |
| executedByTheSameThread(const ICFGNode *i1, const ICFGNode *i2) | SVF::MHP | virtual |
| fja | SVF::MHP | protected |
| FuncPair typedef | SVF::MHP | |
| FuncPairToBool typedef | SVF::MHP | |
| FunSet typedef | SVF::MHP | |
| getCallee(const CallICFGNode *inst, CallGraph::FunctionSet &callees) | SVF::MHP | inlineprotected |
| getDirAndIndJoinedTid(const CallStrCxt &cxt, const ICFGNode *call) | SVF::MHP | protected |
| getInterleavingThreads(const CxtThreadStmt &cts) | SVF::MHP | inline |
| getJoinInSymmetricLoop(const CallStrCxt &cxt, const ICFGNode *call) const | SVF::MHP | protected |
| getTCT() const | SVF::MHP | inline |
| getThreadCallGraph() const | SVF::MHP | inline |
| getThreadStmtSet(const ICFGNode *inst) const | SVF::MHP | inline |
| handleCall(ICFGGraph icfg, CGGraph cg, const CxtThreadStmt &cts, NodeID rootTid) | SVF::MHP | protected |
| handleFork(ICFGGraph icfg, CGGraph cg, const CxtThreadStmt &cts, NodeID rootTid) | SVF::MHP | protected |
| handleIntra(ICFGGraph icfg, CGGraph cg, const CxtThreadStmt &cts) | SVF::MHP | protected |
| handleJoin(ICFGGraph icfg, CGGraph cg, const CxtThreadStmt &cts, NodeID rootTid) | SVF::MHP | protected |
| handleNonCandidateFun(ICFGGraph icfg, CGGraph cg, const CxtThreadStmt &cts) | SVF::MHP | protected |
| handleRet(ICFGGraph icfg, CGGraph cg, const CxtThreadStmt &cts) | SVF::MHP | protected |
| hasInterleavingThreads(const CxtThreadStmt &cts) const | SVF::MHP | inline |
| hasJoinInSymmetricLoop(const CallStrCxt &cxt, const ICFGNode *call) const | SVF::MHP | protected |
| hasThreadStmtSet(const ICFGNode *inst) const | SVF::MHP | inline |
| InstToThreadStmtSetMap typedef | SVF::MHP | |
| instToTSMap | SVF::MHP | protected |
| interleavingQueriesTime | SVF::MHP | |
| interleavingTime | SVF::MHP | |
| isConnectedfromMain(const FunObjVar *fun) | SVF::MHP | |
| isContextSuffix(const CallStrCxt &lhs, const CallStrCxt call) | SVF::MHP | inlineprotected |
| isHBPair(NodeID tid1, NodeID tid2) | SVF::MHP | protected |
| isMultiForkedThread(NodeID curTid) | SVF::MHP | inlineprotected |
| isMustJoin(const NodeID curTid, const ICFGNode *joinsite) | SVF::MHP | protected |
| isRecurFullJoin(NodeID parentTid, NodeID curTid) | SVF::MHP | protected |
| isTDFork(const ICFGNode *call) | SVF::MHP | inlineprotected |
| isTDJoin(const ICFGNode *call) | SVF::MHP | inlineprotected |
| LockSpan typedef | SVF::MHP | |
| LoopBBs typedef | SVF::MHP | |
| matchAndPopCxt(CallStrCxt &cxt, const CallICFGNode *call, const FunObjVar *callee) | SVF::MHP | inlineprotected |
| mayHappenInParallel(const ICFGNode *i1, const ICFGNode *i2) | SVF::MHP | virtual |
| mayHappenInParallelCache(const ICFGNode *i1, const ICFGNode *i2) | SVF::MHP | virtual |
| mayHappenInParallelInst(const ICFGNode *i1, const ICFGNode *i2) | SVF::MHP | virtual |
| MHP(TCT *t) | SVF::MHP | |
| nonCandidateFuncMHPRelMap | SVF::MHP | protected |
| numOfMHPQueries | SVF::MHP | |
| numOfTotalQueries | SVF::MHP | |
| popFromCTSWorkList() | SVF::MHP | inlineprotected |
| printInterleaving() | SVF::MHP | |
| pushCxt(CallStrCxt &cxt, const CallICFGNode *call, const FunObjVar *callee) | SVF::MHP | inlineprotected |
| pushToCTSWorkList(const CxtThreadStmt &cs) | SVF::MHP | inlineprotected |
| rmInterleavingThread(const CxtThreadStmt &tgr, const NodeBS &tids, const ICFGNode *joinsite) | SVF::MHP | inlineprotected |
| symJoinLoop | SVF::MHP | protected |
| SymJoinToLoopMap typedef | SVF::MHP | protected |
| tcg | SVF::MHP | protected |
| tct | SVF::MHP | protected |
| threadStmtToThreadInterLeav | SVF::MHP | protected |
| ThreadStmtToThreadInterleav typedef | SVF::MHP | |
| updateAncestorThreads(ICFGGraph icfg, CGGraph cg, NodeID tid) | SVF::MHP | protected |
| updateNonCandidateFunInterleaving(ICFGGraph icfg, CGGraph cg) | SVF::MHP | protected |
| updateSiblingThreads(ICFGGraph icfg, CGGraph cg, NodeID tid) | SVF::MHP | protected |
| ~MHP() | SVF::MHP | virtual |
1.9.8