Static Value-Flow Analysis
SVF::ForkJoinAnalysis Member List

This is the complete list of members for SVF::ForkJoinAnalysis, including all inherited members.

addDirectlyJoinTID(const CxtStmt &cs, NodeID tid)SVF::ForkJoinAnalysisinlineprivate
addSymmetricLoopJoin(const CxtStmt &cs, LoopBBs &lp)SVF::ForkJoinAnalysisinlineprivate
addToFullJoin(NodeID tid1, NodeID tid2)SVF::ForkJoinAnalysisinlineprivate
addToHBPair(NodeID tid1, NodeID tid2)SVF::ForkJoinAnalysisinlineprivate
addToHPPair(NodeID tid1, NodeID tid2)SVF::ForkJoinAnalysisinlineprivate
addToPartial(NodeID tid1, NodeID tid2)SVF::ForkJoinAnalysisinlineprivate
analyzeForkJoinPair()SVF::ForkJoinAnalysis
clearFlagMap()SVF::ForkJoinAnalysisinlineprivate
collectSCEVInfo()SVF::ForkJoinAnalysis
cxtJoinInLoopSVF::ForkJoinAnalysisprivate
cxtStmtListSVF::ForkJoinAnalysisprivate
CxtStmtToAliveFlagMap typedefSVF::ForkJoinAnalysis
cxtStmtToAliveFlagMapSVF::ForkJoinAnalysisprivate
CxtStmtToLoopMap typedefSVF::ForkJoinAnalysis
CxtStmtToTIDMap typedefSVF::ForkJoinAnalysis
CxtStmtWorkList typedefSVF::ForkJoinAnalysis
dirAndIndJoinMapSVF::ForkJoinAnalysisprivate
directJoinMapSVF::ForkJoinAnalysisprivate
Empty enum valueSVF::ForkJoinAnalysis
ForkJoinAnalysis(TCT *t)SVF::ForkJoinAnalysisinline
fullJoinSVF::ForkJoinAnalysisprivate
getCallee(const ICFGNode *inst, PTACallGraph::FunctionSet &callees)SVF::ForkJoinAnalysisinlineprivate
getDirAndIndJoinedTid(const CxtStmt &cs)SVF::ForkJoinAnalysis
getDirectlyJoinedTid(const CxtStmt &cs)SVF::ForkJoinAnalysisinline
getExitInstOfParentRoutineFun(NodeID tid) constSVF::ForkJoinAnalysisinline
getForkedThread(const CallICFGNode *call)SVF::ForkJoinAnalysisinlineprivate
getJoinedThread(const CallICFGNode *call)SVF::ForkJoinAnalysisinlineprivate
getJoinInSymmetricLoop(const CxtStmt &cs) constSVF::ForkJoinAnalysisinline
getJoinLoop(const CallICFGNode *inst)SVF::ForkJoinAnalysisinline
getMarkedFlag(const CxtStmt &cs)SVF::ForkJoinAnalysisinlineprivate
getTCG() constSVF::ForkJoinAnalysisinlineprivate
handleCall(const CxtStmt &cts, NodeID rootTid)SVF::ForkJoinAnalysisprivate
handleFork(const CxtStmt &cts, NodeID rootTid)SVF::ForkJoinAnalysisprivate
handleIntra(const CxtStmt &cts)SVF::ForkJoinAnalysisprivate
handleJoin(const CxtStmt &cts, NodeID rootTid)SVF::ForkJoinAnalysisprivate
handleRet(const CxtStmt &cts)SVF::ForkJoinAnalysisprivate
hasJoinInSymmetricLoop(const CxtStmt &cs) constSVF::ForkJoinAnalysisinline
hasJoinLoop(const CallICFGNode *inst)SVF::ForkJoinAnalysisinline
HBPairSVF::ForkJoinAnalysisprivate
HPPairSVF::ForkJoinAnalysisprivate
InstVec typedefSVF::ForkJoinAnalysis
isAliasedForkJoin(const CallICFGNode *forkSite, const CallICFGNode *joinSite)SVF::ForkJoinAnalysisinlineprivate
isFullJoin(NodeID tid1, NodeID tid2)SVF::ForkJoinAnalysisinline
isHBPair(NodeID tid1, NodeID tid2)SVF::ForkJoinAnalysisinline
isSameSCEV(const ICFGNode *forkSite, const ICFGNode *joinSite)SVF::ForkJoinAnalysisprivate
isTDFork(const ICFGNode *call)SVF::ForkJoinAnalysisinlineprivate
isTDJoin(const ICFGNode *call)SVF::ForkJoinAnalysisinlineprivate
LoopBBs typedefSVF::ForkJoinAnalysis
markCxtStmtFlag(const CxtStmt &tgr, ValDomain flag)SVF::ForkJoinAnalysisinlineprivate
markCxtStmtFlag(const CxtStmt &tgr, const CxtStmt &src)SVF::ForkJoinAnalysisinlineprivate
matchCxt(CallStrCxt &cxt, const CallICFGNode *call, const SVFFunction *callee)SVF::ForkJoinAnalysisinlineprivate
partialJoinSVF::ForkJoinAnalysisprivate
popFromCTSWorkList()SVF::ForkJoinAnalysisinlineprivate
pushCxt(CallStrCxt &cxt, const CallICFGNode *call, const SVFFunction *callee)SVF::ForkJoinAnalysisinlineprivate
pushToCTSWorkList(const CxtStmt &cs)SVF::ForkJoinAnalysisinlineprivate
sameLoopTripCount(const ICFGNode *forkSite, const ICFGNode *joinSite)SVF::ForkJoinAnalysisprivate
tctSVF::ForkJoinAnalysisprivate
TDAlive enum valueSVF::ForkJoinAnalysis
TDDead enum valueSVF::ForkJoinAnalysis
ThreadPairSet typedefSVF::ForkJoinAnalysis
ValDomain enum nameSVF::ForkJoinAnalysis