addDirectlyJoinTID(const CxtStmt &cs, NodeID tid) | SVF::ForkJoinAnalysis | inlineprivate |
addSymmetricLoopJoin(const CxtStmt &cs, LoopBBs &lp) | SVF::ForkJoinAnalysis | inlineprivate |
addToFullJoin(NodeID tid1, NodeID tid2) | SVF::ForkJoinAnalysis | inlineprivate |
addToHBPair(NodeID tid1, NodeID tid2) | SVF::ForkJoinAnalysis | inlineprivate |
addToHPPair(NodeID tid1, NodeID tid2) | SVF::ForkJoinAnalysis | inlineprivate |
addToPartial(NodeID tid1, NodeID tid2) | SVF::ForkJoinAnalysis | inlineprivate |
analyzeForkJoinPair() | SVF::ForkJoinAnalysis | |
clearFlagMap() | SVF::ForkJoinAnalysis | inlineprivate |
collectSCEVInfo() | SVF::ForkJoinAnalysis | |
cxtJoinInLoop | SVF::ForkJoinAnalysis | private |
cxtStmtList | SVF::ForkJoinAnalysis | private |
CxtStmtToAliveFlagMap typedef | SVF::ForkJoinAnalysis | |
cxtStmtToAliveFlagMap | SVF::ForkJoinAnalysis | private |
CxtStmtToLoopMap typedef | SVF::ForkJoinAnalysis | |
CxtStmtToTIDMap typedef | SVF::ForkJoinAnalysis | |
CxtStmtWorkList typedef | SVF::ForkJoinAnalysis | |
dirAndIndJoinMap | SVF::ForkJoinAnalysis | private |
directJoinMap | SVF::ForkJoinAnalysis | private |
Empty enum value | SVF::ForkJoinAnalysis | |
ForkJoinAnalysis(TCT *t) | SVF::ForkJoinAnalysis | inline |
fullJoin | SVF::ForkJoinAnalysis | private |
getCallee(const ICFGNode *inst, PTACallGraph::FunctionSet &callees) | SVF::ForkJoinAnalysis | inlineprivate |
getDirAndIndJoinedTid(const CxtStmt &cs) | SVF::ForkJoinAnalysis | |
getDirectlyJoinedTid(const CxtStmt &cs) | SVF::ForkJoinAnalysis | inline |
getExitInstOfParentRoutineFun(NodeID tid) const | SVF::ForkJoinAnalysis | inline |
getForkedThread(const CallICFGNode *call) | SVF::ForkJoinAnalysis | inlineprivate |
getJoinedThread(const CallICFGNode *call) | SVF::ForkJoinAnalysis | inlineprivate |
getJoinInSymmetricLoop(const CxtStmt &cs) const | SVF::ForkJoinAnalysis | inline |
getJoinLoop(const CallICFGNode *inst) | SVF::ForkJoinAnalysis | inline |
getMarkedFlag(const CxtStmt &cs) | SVF::ForkJoinAnalysis | inlineprivate |
getTCG() const | SVF::ForkJoinAnalysis | inlineprivate |
handleCall(const CxtStmt &cts, NodeID rootTid) | SVF::ForkJoinAnalysis | private |
handleFork(const CxtStmt &cts, NodeID rootTid) | SVF::ForkJoinAnalysis | private |
handleIntra(const CxtStmt &cts) | SVF::ForkJoinAnalysis | private |
handleJoin(const CxtStmt &cts, NodeID rootTid) | SVF::ForkJoinAnalysis | private |
handleRet(const CxtStmt &cts) | SVF::ForkJoinAnalysis | private |
hasJoinInSymmetricLoop(const CxtStmt &cs) const | SVF::ForkJoinAnalysis | inline |
hasJoinLoop(const CallICFGNode *inst) | SVF::ForkJoinAnalysis | inline |
HBPair | SVF::ForkJoinAnalysis | private |
HPPair | SVF::ForkJoinAnalysis | private |
InstVec typedef | SVF::ForkJoinAnalysis | |
isAliasedForkJoin(const CallICFGNode *forkSite, const CallICFGNode *joinSite) | SVF::ForkJoinAnalysis | inlineprivate |
isFullJoin(NodeID tid1, NodeID tid2) | SVF::ForkJoinAnalysis | inline |
isHBPair(NodeID tid1, NodeID tid2) | SVF::ForkJoinAnalysis | inline |
isSameSCEV(const ICFGNode *forkSite, const ICFGNode *joinSite) | SVF::ForkJoinAnalysis | private |
isTDFork(const ICFGNode *call) | SVF::ForkJoinAnalysis | inlineprivate |
isTDJoin(const ICFGNode *call) | SVF::ForkJoinAnalysis | inlineprivate |
LoopBBs typedef | SVF::ForkJoinAnalysis | |
markCxtStmtFlag(const CxtStmt &tgr, ValDomain flag) | SVF::ForkJoinAnalysis | inlineprivate |
markCxtStmtFlag(const CxtStmt &tgr, const CxtStmt &src) | SVF::ForkJoinAnalysis | inlineprivate |
matchCxt(CallStrCxt &cxt, const CallICFGNode *call, const SVFFunction *callee) | SVF::ForkJoinAnalysis | inlineprivate |
partialJoin | SVF::ForkJoinAnalysis | private |
popFromCTSWorkList() | SVF::ForkJoinAnalysis | inlineprivate |
pushCxt(CallStrCxt &cxt, const CallICFGNode *call, const SVFFunction *callee) | SVF::ForkJoinAnalysis | inlineprivate |
pushToCTSWorkList(const CxtStmt &cs) | SVF::ForkJoinAnalysis | inlineprivate |
sameLoopTripCount(const ICFGNode *forkSite, const ICFGNode *joinSite) | SVF::ForkJoinAnalysis | private |
tct | SVF::ForkJoinAnalysis | private |
TDAlive enum value | SVF::ForkJoinAnalysis | |
TDDead enum value | SVF::ForkJoinAnalysis | |
ThreadPairSet typedef | SVF::ForkJoinAnalysis | |
ValDomain enum name | SVF::ForkJoinAnalysis | |