Static Value-Flow Analysis
SVF::TCT Member List

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

addCxtOfCxtThread(const CallStrCxt &cxt, const CxtThread &ct)SVF::TCTinlineprivate
addGNode(NodeID id, NodeType *node)SVF::GenericGraph< NodeTy, EdgeTy >inline
addStartRoutineOfCxtThread(const SVFFunction *fun, const CxtThread &ct)SVF::TCTinlineprivate
addTCTEdge(TCTNode *src, TCTNode *dst)SVF::TCTinlineprivate
addTCTNode(const CxtThread &ct)SVF::TCTinlineprivate
begin()SVF::GenericGraph< NodeTy, EdgeTy >inline
begin() constSVF::GenericGraph< NodeTy, EdgeTy >inline
build()SVF::TCTprivate
candidateFuncSetSVF::TCTprivate
collectEntryFunInCallGraph()SVF::TCTprivate
collectLoopInfoForJoin()SVF::TCTprivate
collectMultiForkedThreads()SVF::TCTprivate
const_iterator typedefSVF::GenericGraph< NodeTy, EdgeTy >
ctpListSVF::TCTprivate
ctpToNodeMapSVF::TCTprivate
ctToForkCxtMapSVF::TCTprivate
ctToRoutineFunMapSVF::TCTprivate
CxtThreadProcSet typedefSVF::TCT
CxtThreadProcVec typedefSVF::TCT
CxtThreadToForkCxt typedefSVF::TCT
CxtThreadToFun typedefSVF::TCT
CxtThreadToNodeMap typedefSVF::TCT
destroy()SVF::TCTinlineprivate
dump(const std::string &filename)SVF::TCT
dumpCxt(CallStrCxt &cxt)SVF::TCT
edgeNumSVF::GenericGraph< NodeTy, EdgeTy >
EdgeType typedefSVF::GenericGraph< NodeTy, EdgeTy >
end()SVF::GenericGraph< NodeTy, EdgeTy >inline
end() constSVF::GenericGraph< NodeTy, EdgeTy >inline
entryFuncSetSVF::TCTprivate
FunSet typedefSVF::TCT
GenericGraph()SVF::GenericGraph< NodeTy, EdgeTy >inline
getAncestorThread(NodeID tid) constSVF::TCTinline
getChildrenBegin(const TCTNode *node) constSVF::TCTinline
getChildrenEnd(const TCTNode *node) constSVF::TCTinline
getCxtOfCxtThread(const CxtThread &ct) constSVF::TCTinline
getEntryProcs() constSVF::TCTinline
getGNode(NodeID id) constSVF::GenericGraph< NodeTy, EdgeTy >inline
getGraphEdge(TCTNode *src, TCTNode *dst, TCTEdge::CEDGEK kind)SVF::TCT
getJoinLoop(const CallICFGNode *join)SVF::TCTinline
getLoop(const ICFGNode *inst)SVF::TCT
getLoop(const SVFBasicBlock *bb)SVF::TCT
getMakredProcs() constSVF::TCTinline
getMaxCxtSize() constSVF::TCTinline
getOrCreateTCTNode(const CallStrCxt &cxt, const ICFGNode *fork, const CallStrCxt &oldCxt, const SVFFunction *routine)SVF::TCTinlineprivate
getParentsBegin(const TCTNode *node) constSVF::TCTinline
getParentsEnd(const TCTNode *node) constSVF::TCTinline
getParentThread(NodeID tid) constSVF::TCTinline
getPTA() constSVF::TCTinline
getSiblingThread(NodeID tid) constSVF::TCTinline
getStartRoutineOfCxtThread(const CxtThread &ct) constSVF::TCTinline
getSVFModule() constSVF::TCTinline
getTCTEdgeNum() constSVF::TCTinline
getTCTNode(NodeID id) constSVF::TCTinline
getTCTNode(const CxtThread &ct) constSVF::TCTinline
getTCTNodeNum() constSVF::TCTinline
getThreadCallGraph() constSVF::TCTinline
getTotalEdgeNum() constSVF::GenericGraph< NodeTy, EdgeTy >inline
getTotalNodeNum() constSVF::GenericGraph< NodeTy, EdgeTy >inline
handleCallRelation(CxtThreadProc &ctp, const PTACallGraphEdge *cgEdge, const CallICFGNode *call)SVF::TCTprivate
hasGNode(NodeID id) constSVF::GenericGraph< NodeTy, EdgeTy >inline
hasGraphEdge(TCTNode *src, TCTNode *dst, TCTEdge::CEDGEK kind) constSVF::TCT
hasJoinLoop(const CallICFGNode *join) constSVF::TCTinline
hasLoop(const SVFBasicBlock *bb) constSVF::TCTinline
hasLoop(const ICFGNode *inst) constSVF::TCTinline
hasParentThread(NodeID tid) constSVF::TCTinline
hasTCTNode(const CxtThread &ct) constSVF::TCTinline
IDToNodeMapSVF::GenericGraph< NodeTy, EdgeTy >protected
IDToNodeMapTy typedefSVF::GenericGraph< NodeTy, EdgeTy >
incEdgeNum()SVF::GenericGraph< NodeTy, EdgeTy >inline
incNodeNum()SVF::GenericGraph< NodeTy, EdgeTy >inline
inRecurJoinSitesSVF::TCTprivate
inSameCallGraphSCC(const PTACallGraphNode *src, const PTACallGraphNode *dst)SVF::TCTinline
InstSet typedefSVF::TCT
InstToLoopMap typedefSVF::TCT
InstVec typedefSVF::TCT
isCallSite(const ICFGNode *inst)SVF::TCTinline
isCandidateFun(const PTACallGraph::FunctionSet &callees) constSVF::TCTinline
isCandidateFun(const SVFFunction *fun) constSVF::TCTinline
isExtCall(const ICFGNode *inst)SVF::TCTinline
isInLoopInstruction(const ICFGNode *inst)SVF::TCTprivate
isInRecursion(const ICFGNode *inst) constSVF::TCTprivate
isJoinMustExecutedInLoop(const LoopBBs &lp, const ICFGNode *join)SVF::TCT
isJoinSiteInRecursion(const CallICFGNode *join) constSVF::TCTinline
isLoopExitOfJoinLoop(const SVFBasicBlock *bb)SVF::TCTprivate
isLoopHeaderOfJoinLoop(const SVFBasicBlock *bb)SVF::TCTprivate
isVisitedCTPs(const CxtThreadProc &ctp) constSVF::TCTinlineprivate
iterator typedefSVF::GenericGraph< NodeTy, EdgeTy >
joinSiteToLoopMapSVF::TCTprivate
LoopBBs typedefSVF::TCT
markRelProcs()SVF::TCTprivate
markRelProcs(const SVFFunction *fun)SVF::TCTprivate
matchCxt(CallStrCxt &cxt, const CallICFGNode *call, const SVFFunction *callee)SVF::TCT
MaxCxtSizeSVF::TCTprivate
nodeNumSVF::GenericGraph< NodeTy, EdgeTy >
NodeType typedefSVF::GenericGraph< NodeTy, EdgeTy >
popFromCTPWorkList()SVF::TCTinlineprivate
print() constSVF::TCT
ptaSVF::TCTprivate
PTACGNodeSet typedefSVF::TCT
pushCxt(CallStrCxt &cxt, const CallICFGNode *call, const SVFFunction *callee)SVF::TCT
pushCxt(CallStrCxt &cxt, CallSiteID csId)SVF::TCTinline
pushToCTPWorkList(const CxtThreadProc &ctp)SVF::TCTinlineprivate
removeGNode(NodeType *node)SVF::GenericGraph< NodeTy, EdgeTy >inline
setMultiForkedAttrs(CxtThread &ct)SVF::TCTinlineprivate
tcgSVF::TCTprivate
tcgSCCSVF::TCTprivate
TCT(PointerAnalysis *p)SVF::TCTinline
TCTEdgeNumSVF::TCTprivate
TCTNodeIter typedefSVF::TCT
TCTNodeNumSVF::TCTprivate
ThreadCallGraphSCC typedefSVF::TCT
ThreadCreateEdgeSet typedefSVF::TCT
visitedCTPsSVF::TCTprivate
~GenericGraph()SVF::GenericGraph< NodeTy, EdgeTy >inlinevirtual
~TCT()SVF::TCTinlinevirtual