Static Value-Flow Analysis
Loading...
Searching...
No Matches
SVF::SlicedTCT Member List

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

addCxtOfCxtThread(NodeID pTid, const CallStrCxt &cxt, const CxtThread &ct)SVF::TCTinlineprotected
addGNode(NodeID id, NodeType *node)SVF::GenericGraph< NodeTy, EdgeTy >inline
addStartRoutineOfCxtThread(const FunObjVar *fun, const CxtThread &ct)SVF::TCTinlineprotected
addTCTEdge(TCTNode *src, TCTNode *dst)SVF::TCTinlineprotected
addTCTNode(const CxtThread &ct)SVF::TCTinlineprotected
begin()SVF::GenericGraph< NodeTy, EdgeTy >inline
begin() constSVF::GenericGraph< NodeTy, EdgeTy >inline
build() overrideSVF::SlicedTCTprotectedvirtual
CallStrCxtSet typedefSVF::TCT
candidateFuncSetSVF::TCTprotected
collectEntryFunInCallGraph() overrideSVF::SlicedTCTprivatevirtual
collectLoopInfoForJoin() overrideSVF::SlicedTCTprotectedvirtual
collectMultiForkedThreads()SVF::TCTprotected
const_iterator typedefSVF::GenericGraph< NodeTy, EdgeTy >
createDummyForkSite()SVF::TCTinlineprotected
ctpListSVF::TCTprotected
ctpToNodeMapSVF::TCTprotected
ctToForkCxtsMapSVF::TCTprotected
ctToRoutineFunMapSVF::TCTprotected
CxtThreadProcSet typedefSVF::TCT
CxtThreadProcVec typedefSVF::TCT
CxtThreadToForkCxtSet typedefSVF::TCT
CxtThreadToFun typedefSVF::TCT
CxtThreadToNodeMap typedefSVF::TCT
destroy()SVF::GenericGraph< NodeTy, EdgeTy >inline
dummyForkICFGNodeIDSVF::TCTprotected
dummyForkSitesSVF::TCTprotected
DummyForkSiteSet typedefSVF::TCT
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::TCTprotected
FunSet typedefSVF::TCT
GenericGraph()SVF::GenericGraph< NodeTy, EdgeTy >inline
getAncestorThreads(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
getKeptForkSites(std::vector< const ICFGNode * > &out) constSVF::SlicedTCTprivate
getKeptJoinSites(std::vector< const ICFGNode * > &out) constSVF::SlicedTCTprivate
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 CxtThreadProc &forkSiteCtp, const FunObjVar *routine)SVF::TCTinlineprotected
getParentsBegin(const TCTNode *node) constSVF::TCTinline
getParentsEnd(const TCTNode *node) constSVF::TCTinline
getParentThreads(NodeID tid) constSVF::TCTinline
getPTA() constSVF::TCTinline
getSiblingThread(NodeID tid) constSVF::TCTinline
getStartRoutineOfCxtThread(const CxtThread &ct) 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 CallGraphEdge *cgEdge, const CallICFGNode *cs) overrideSVF::SlicedTCTprotectedvirtual
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::TCTprotected
inSameCallGraphSCC(const CallGraphNode *src, const CallGraphNode *dst)SVF::TCTinline
InstSet typedefSVF::TCT
InstToLoopMap typedefSVF::TCT
InstVec typedefSVF::TCT
isCallSite(const ICFGNode *inst)SVF::TCTinline
isCandidateFun(const CallGraph::FunctionSet &callees) constSVF::TCTinline
isCandidateFun(const FunObjVar *fun) constSVF::TCTinline
isContextSuffix(const CallStrCxt &lhs, const CallStrCxt &call)SVF::TCT
isExtCall(const ICFGNode *inst)SVF::TCTinline
isInLoopInstruction(const ICFGNode *inst)SVF::TCTprotected
isInRecursion(const ICFGNode *inst) constSVF::TCTprotected
isJoinMustExecutedInLoop(const LoopBBs &lp, const ICFGNode *join)SVF::TCT
isJoinSiteInRecursion(const CallICFGNode *join) constSVF::TCTinline
isKeptEdge(const CallGraphEdge *edge) constSVF::SlicedTCTprivate
isKeptNode(const CallGraphNode *node) constSVF::SlicedTCTprivate
isLoopExitOfJoinLoop(const SVFBasicBlock *bb)SVF::TCTprotected
isLoopHeaderOfJoinLoop(const SVFBasicBlock *bb)SVF::TCTprotected
isVisitedCTPs(const CxtThreadProc &ctp) constSVF::TCTinlineprotected
iterator typedefSVF::GenericGraph< NodeTy, EdgeTy >
joinSiteToLoopMapSVF::TCTprotected
LoopBBs typedefSVF::TCT
markRelProcs() overrideSVF::SlicedTCTprotectedvirtual
markRelProcs(const FunObjVar *fun) overrideSVF::SlicedTCTprotectedvirtual
matchAndPopCxt(CallStrCxt &cxt, const CallICFGNode *call, const FunObjVar *callee)SVF::TCT
maxContextLenSVF::SlicedTCTprivate
MaxCxtSizeSVF::TCTprotected
nodeNumSVF::GenericGraph< NodeTy, EdgeTy >
NodeType typedefSVF::GenericGraph< NodeTy, EdgeTy >
popFromCTPWorkList()SVF::TCTinlineprotected
print() constSVF::TCT
ptaSVF::TCTprotected
PTACGNodeSet typedefSVF::TCT
pushCxt(CallStrCxt &cxt, const CallICFGNode *call, const FunObjVar *callee) overrideSVF::SlicedTCTvirtual
pushToCTPWorkList(const CxtThreadProc &ctp)SVF::TCTinlineprotected
removeGNode(NodeType *node)SVF::GenericGraph< NodeTy, EdgeTy >inline
reset()SVF::TCTinlineprotected
setMultiForkedAttrs(CxtThread &ct)SVF::TCTinlineprotected
SlicedTCT(PointerAnalysis *p, const SlicedSVFIRView *slicedView, u32_t maxContextLen=0)SVF::SlicedTCT
tcgSVF::TCTprotected
tcgSCCSVF::TCTprotected
tcgViewSVF::SlicedTCTprivate
TCT(PointerAnalysis *p)SVF::TCT
TCTEdgeNumSVF::TCTprotected
TCTNodeIter typedefSVF::TCT
TCTNodeNumSVF::TCTprotected
ThreadCallGraphSCC typedefSVF::TCT
ThreadCreateEdgeSet typedefSVF::TCT
visitedCTPsSVF::TCTprotected
~GenericGraph()SVF::GenericGraph< NodeTy, EdgeTy >inlinevirtual
~SlicedTCT() override=defaultSVF::SlicedTCT
~TCT()SVF::TCTvirtual