SVF::SVFG Member List

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

ActualINSVFGNodeSet typedef	SVF::SVFG
ActualOUTSVFGNodeSet typedef	SVF::SVFG
addActualINSVFGNode(const CallICFGNode *callsite, const MRVer *ver, const NodeID nodeId)	SVF::SVFG	inlineprotected
addActualOUTSVFGNode(const CallICFGNode *callsite, const MRVer *resVer, const NodeID nodeId)	SVF::SVFG	inlineprotected
addActualParmVFGNode(const PAGNode *aparm, const CallICFGNode *cs)	SVF::VFG	inlineprotected
addActualRetVFGNode(const PAGNode *ret, const CallICFGNode *cs)	SVF::VFG	inlineprotected
addAddrVFGNode(const AddrStmt *addr)	SVF::VFG	inlineprotected
addBinaryOPVFGNode(const BinaryOPStmt *edge)	SVF::VFG	inlineprotected
addBranchVFGNode(const BranchStmt *edge)	SVF::VFG	inlineprotected
addCallEdge(NodeID srcId, NodeID dstId, CallSiteID csId)	SVF::VFG
addCallIndirectVFEdge(NodeID srcId, NodeID dstId, const NodeBS &cpts, CallSiteID csId)	SVF::SVFG	protected
addCmpVFGNode(const CmpStmt *edge)	SVF::VFG	inlineprotected
addCopyVFGNode(const CopyStmt *copy)	SVF::VFG	inlineprotected
addDummyVersionPropSVFGNode(const NodeID object, const NodeID version)	SVF::SVFG	inline
addFormalINSVFGNode(const FunEntryICFGNode *funEntry, const MRVer *resVer, const NodeID nodeId)	SVF::SVFG	inlineprotected
addFormalOUTSVFGNode(const FunExitICFGNode *funExit, const MRVer *ver, const NodeID nodeId)	SVF::SVFG	inlineprotected
addFormalParmVFGNode(const PAGNode *fparm, const SVFFunction *fun, CallPESet &callPEs)	SVF::VFG	inlineprotected
addFormalRetVFGNode(const PAGNode *uniqueFunRet, const SVFFunction *fun, RetPESet &retPEs)	SVF::VFG	inlineprotected
addGepVFGNode(const GepStmt *gep)	SVF::VFG	inlineprotected
addGNode(NodeID id, NodeType *node)	SVF::GenericGraph< NodeTy, EdgeTy >	inline
addInterEdgeFromAPToFP(ActualParmVFGNode *src, FormalParmVFGNode *dst, CallSiteID csId)	SVF::VFG	inlineprotected
addInterEdgeFromAPToFP(NodeID src, NodeID dst, CallSiteID csId)	SVF::VFG	inlineprotected
addInterEdgeFromFRToAR(FormalRetVFGNode *src, ActualRetVFGNode *dst, CallSiteID csId)	SVF::VFG	inlineprotected
addInterEdgeFromFRToAR(NodeID src, NodeID dst, CallSiteID csId)	SVF::VFG	inlineprotected
addInterIndirectVFCallEdge(const ActualINSVFGNode *src, const FormalINSVFGNode *dst, CallSiteID csId)	SVF::SVFG	protected
addInterIndirectVFRetEdge(const FormalOUTSVFGNode *src, const ActualOUTSVFGNode *dst, CallSiteID csId)	SVF::SVFG	protected
addIntraDirectVFEdge(NodeID srcId, NodeID dstId)	SVF::VFG
addIntraIndirectVFEdge(NodeID srcId, NodeID dstId, const NodeBS &cpts)	SVF::SVFG	protected
addIntraMSSAPHISVFGNode(ICFGNode *BlockICFGNode, const Map< u32_t, const MRVer * >::const_iterator opVerBegin, const Map< u32_t, const MRVer * >::const_iterator opVerEnd, const MRVer *resVer, const NodeID nodeId)	SVF::SVFG	inlineprotected
addIntraPHIVFGNode(const MultiOpndStmt *edge)	SVF::VFG	inlineprotected
addLoadVFGNode(const LoadStmt *load)	SVF::VFG	inlineprotected
addNullPtrVFGNode(const PAGNode *pagNode)	SVF::VFG	inlineprotected
addRetEdge(NodeID srcId, NodeID dstId, CallSiteID csId)	SVF::VFG
addRetIndirectVFEdge(NodeID srcId, NodeID dstId, const NodeBS &cpts, CallSiteID csId)	SVF::SVFG	protected
addStmtVFGNode(StmtVFGNode *node, const PAGEdge *pagEdge)	SVF::VFG	inlineprotected
addStoreVFGNode(const StoreStmt *store)	SVF::VFG	inlineprotected
addSVFGEdge(SVFGEdge *edge)	SVF::SVFG	inline
addSVFGNode(SVFGNode *node, ICFGNode *icfgNode)	SVF::SVFG	inlineprotectedvirtual
addSVFGNodesForAddrTakenVars()	SVF::SVFG	protected
addThreadMHPIndirectVFEdge(NodeID srcId, NodeID dstId, const NodeBS &cpts)	SVF::SVFG	protected
addUnaryOPVFGNode(const UnaryOPStmt *edge)	SVF::VFG	inlineprotected
addVFGEdge(VFGEdge *edge)	SVF::VFG	inline
addVFGInterEdges(const CallICFGNode *cs, const SVFFunction *callee)	SVF::VFG	protected
addVFGNode(VFGNode *vfgNode, ICFGNode *icfgNode)	SVF::VFG	inlineprotectedvirtual
addVFGNodes()	SVF::VFG	protected
begin()	SVF::GenericGraph< NodeTy, EdgeTy >	inline
begin() const	SVF::GenericGraph< NodeTy, EdgeTy >	inline
buildSVFG()	SVF::SVFG	protectedvirtual
CALLCHI typedef	SVF::SVFG
callgraph	SVF::VFG	protected
CALLMU typedef	SVF::SVFG
CallPESet typedef	SVF::VFG
callSiteToActualINMap	SVF::SVFG	protected
CallSiteToActualINsMapTy typedef	SVF::SVFG
callSiteToActualOUTMap	SVF::SVFG	protected
CallSiteToActualOUTsMapTy typedef	SVF::SVFG
CFLSVFGBuilder	SVF::SVFG	friend
checkIntraEdgeParents(const VFGNode *srcNode, const VFGNode *dstNode)	SVF::VFG	inlineprotected
CHI typedef	SVF::SVFG
CHISet typedef	SVF::SVFG
clearMSSA()	SVF::SVFG	inline
connectAInAndFIn(const ActualINSVFGNode *actualIn, const FormalINSVFGNode *formalIn, CallSiteID csId, SVFGEdgeSetTy &edges)	SVF::SVFG	inlineprotectedvirtual
connectAParamAndFParam(const PAGNode *csArg, const PAGNode *funArg, const CallICFGNode *cbn, CallSiteID csId, VFGEdgeSetTy &edges)	SVF::VFG	inlineprotectedvirtual
connectCallerAndCallee(const CallICFGNode *cs, const SVFFunction *callee, SVFGEdgeSetTy &edges)	SVF::SVFG	virtual
connectDirectVFGEdges()	SVF::VFG	protected
connectFOutAndAOut(const FormalOUTSVFGNode *formalOut, const ActualOUTSVFGNode *actualOut, CallSiteID csId, SVFGEdgeSetTy &edges)	SVF::SVFG	inlineprotectedvirtual
connectFRetAndARet(const PAGNode *funReturn, const PAGNode *csReturn, CallSiteID csId, VFGEdgeSetTy &edges)	SVF::VFG	inlineprotectedvirtual
connectFromGlobalToProgEntry()	SVF::SVFG	protected
connectIndirectSVFGEdges()	SVF::SVFG	protected
const_iterator typedef	SVF::VFG
DDASVFGBuilder	SVF::SVFG	friend
destroy()	SVF::SVFG	protected
dump(const std::string &file, bool simple=false)	SVF::SVFG
edgeNum	SVF::GenericGraph< NodeTy, EdgeTy >
EdgeType typedef	SVF::GenericGraph< NodeTy, EdgeTy >
end()	SVF::GenericGraph< NodeTy, EdgeTy >	inline
end() const	SVF::GenericGraph< NodeTy, EdgeTy >	inline
ENTRYCHI typedef	SVF::SVFG
FormalINSVFGNodeSet typedef	SVF::SVFG
FormalOUTSVFGNodeSet typedef	SVF::SVFG
FULLSVFG enum value	SVF::VFG
FULLSVFG_OPT enum value	SVF::VFG
FunctionToFormalINsMapTy typedef	SVF::SVFG
FunctionToFormalOUTsMapTy typedef	SVF::SVFG
funToFormalINMap	SVF::SVFG	protected
funToFormalOUTMap	SVF::SVFG	protected
funToVFGNodesMap	SVF::VFG	protected
FunToVFGNodesMapTy typedef	SVF::VFG
GenericGraph()	SVF::GenericGraph< NodeTy, EdgeTy >	inline
getActualINSVFGNodes(const CallICFGNode *cs)	SVF::SVFG	inline
getActualOUTSVFGNodes(const CallICFGNode *cs)	SVF::SVFG	inline
getActualParmVFGNode(const PAGNode *aparm, const CallICFGNode *cs) const	SVF::VFG	inline
getActualRetVFGNode(const PAGNode *aret) const	SVF::VFG	inline
getBinaryOPVFGNode(const PAGNode *pagNode) const	SVF::VFG	inline
getBranchVFGNode(const PAGNode *pagNode) const	SVF::VFG	inline
getCallGraph() const	SVF::VFG	inline
getCallSite(CallSiteID id) const	SVF::VFG	inline
getCallSiteID(const CallICFGNode *cs, const SVFFunction *func) const	SVF::VFG	inline
getCmpVFGNode(const PAGNode *pagNode) const	SVF::VFG	inline
getDef(const PAGNode *pagNode) const	SVF::SVFG	inlineprotected
getDef(const MRVer *mvar) const	SVF::SVFG	inlineprotected
getDefSVFGNode(const PAGNode *pagNode) const	SVF::SVFG	inline
getDefVFGNode(const PAGNode *pagNode) const	SVF::VFG	inline
getFormalINSVFGNodes(const SVFFunction *fun)	SVF::SVFG	inline
getFormalOUTSVFGNodes(const SVFFunction *fun)	SVF::SVFG	inline
getFormalParmVFGNode(const PAGNode *fparm) const	SVF::VFG	inline
getFormalRetVFGNode(const PAGNode *fret) const	SVF::VFG	inline
getGlobalVFGNodes()	SVF::VFG	inline
getGNode(NodeID id) const	SVF::GenericGraph< NodeTy, EdgeTy >	inline
getInterVFEdgeAtIndCSFromAInToFIn(ActualINSVFGNode *actualIn, const SVFFunction *callee, SVFGEdgeSetTy &edges)	SVF::SVFG	inlineprotectedvirtual
getInterVFEdgeAtIndCSFromAPToFP(const PAGNode *cs_arg, const PAGNode *fun_arg, const CallICFGNode *, CallSiteID csId, SVFGEdgeSetTy &edges)	SVF::SVFG	inlineprotectedvirtual
getInterVFEdgeAtIndCSFromFOutToAOut(ActualOUTSVFGNode *actualOut, const SVFFunction *callee, SVFGEdgeSetTy &edges)	SVF::SVFG	inlineprotectedvirtual
getInterVFEdgeAtIndCSFromFRToAR(const PAGNode *fun_ret, const PAGNode *cs_ret, CallSiteID csId, SVFGEdgeSetTy &edges)	SVF::SVFG	inlineprotectedvirtual
getInterVFEdgesForIndirectCallSite(const CallICFGNode *cs, const SVFFunction *callee, SVFGEdgeSetTy &edges)	SVF::SVFG
getIntraPHIVFGNode(const PAGNode *pagNode) const	SVF::VFG	inline
getIntraVFGEdge(const VFGNode *src, const VFGNode *dst, VFGEdge::VFGEdgeK kind)	SVF::VFG
getKind() const	SVF::VFG	inline
getLHSTopLevPtr(const VFGNode *node) const	SVF::VFG
getMRVERFromString(const std::string &input)	SVF::SVFG	virtual
getMSSA() const	SVF::SVFG	inline
getPAG() const	SVF::VFG	inline
getPAGEdgeSet(SVFStmt::PEDGEK kind)	SVF::VFG	inlineprotectedvirtual
getPTA() const	SVF::SVFG	inline
getStat() const	SVF::SVFG	inline
getStmtVFGNode(const PAGEdge *pagEdge) const	SVF::VFG	inline
getSVFGNode(NodeID id) const	SVF::SVFG	inline
getSVFGNodeNum() const	SVF::SVFG	inline
getTotalEdgeNum() const	SVF::GenericGraph< NodeTy, EdgeTy >	inline
getTotalNodeNum() const	SVF::GenericGraph< NodeTy, EdgeTy >	inline
getUnaryOPVFGNode(const PAGNode *pagNode) const	SVF::VFG	inline
getVFGNode(NodeID id) const	SVF::VFG	inline
getVFGNodeBegin(const SVFFunction *fun) const	SVF::VFG	inline
getVFGNodeEnd(const SVFFunction *fun) const	SVF::VFG	inline
getVFGNodes(const SVFFunction *fun)	SVF::VFG	inline
globalVFGNodes	SVF::VFG	protected
GlobalVFGNodeSet typedef	SVF::VFG
hasActualINSVFGNodes(const CallICFGNode *cs) const	SVF::SVFG	inline
hasActualOUTSVFGNodes(const CallICFGNode *cs) const	SVF::SVFG	inline
hasBlackHoleConstObjAddrAsDef(const PAGNode *pagNode) const	SVF::VFG	inline
hasCallSiteChi(const CallICFGNode *cs) const	SVF::SVFG	inlineprotected
hasCallSiteMu(const CallICFGNode *cs) const	SVF::SVFG	inlineprotected
hasDef(const PAGNode *pagNode) const	SVF::SVFG	inlineprotected
hasDefSVFGNode(const PAGNode *pagNode) const	SVF::SVFG	inline
hasFormalINSVFGNodes(const SVFFunction *fun) const	SVF::SVFG	inline
hasFormalOUTSVFGNodes(const SVFFunction *fun) const	SVF::SVFG	inline
hasFuncEntryChi(const SVFFunction *func) const	SVF::SVFG	inlineprotected
hasFuncRetMu(const SVFFunction *func) const	SVF::SVFG	inlineprotected
hasGNode(NodeID id) const	SVF::GenericGraph< NodeTy, EdgeTy >	inline
hasInterVFGEdge(VFGNode *src, VFGNode *dst, VFGEdge::VFGEdgeK kind, CallSiteID csId)	SVF::VFG
hasIntraVFGEdge(VFGNode *src, VFGNode *dst, VFGEdge::VFGEdgeK kind)	SVF::VFG
hasSVFGNode(NodeID id) const	SVF::SVFG	inline
hasThreadVFGEdge(VFGNode *src, VFGNode *dst, VFGEdge::VFGEdgeK kind)	SVF::VFG
hasVFGNode(NodeID id) const	SVF::VFG	inline
hasVFGNodes(const SVFFunction *fun) const	SVF::VFG	inline
IDToNodeMap	SVF::GenericGraph< NodeTy, EdgeTy >	protected
IDToNodeMapTy typedef	SVF::GenericGraph< NodeTy, EdgeTy >
incEdgeNum()	SVF::GenericGraph< NodeTy, EdgeTy >	inline
incNodeNum()	SVF::GenericGraph< NodeTy, EdgeTy >	inline
isCallSiteRetSVFGNode(const SVFGNode *node) const	SVF::SVFG
isFunEntrySVFGNode(const SVFGNode *node) const	SVF::SVFG
isFunEntryVFGNode(const VFGNode *node) const	SVF::VFG
isInterestedPAGNode(const SVFVar *node) const	SVF::VFG	inlineprotectedvirtual
isPhiCopyEdge(const PAGEdge *copy) const	SVF::VFG	inlineprotected
isPtrOnlySVFG() const	SVF::VFG	inline
iterator typedef	SVF::VFG
kind	SVF::VFG	protected
LOADMU typedef	SVF::SVFG
mssa	SVF::SVFG	protected
MSSAVarToDefMap	SVF::SVFG	protected
MSSAVarToDefMapTy typedef	SVF::SVFG
MTASVFGBuilder	SVF::SVFG	friend
MU typedef	SVF::SVFG
MUSet typedef	SVF::SVFG
nodeNum	SVF::GenericGraph< NodeTy, EdgeTy >
NodeType typedef	SVF::GenericGraph< NodeTy, EdgeTy >
pag	SVF::VFG	protected
PAGEdgeToStmtVFGNodeMap	SVF::VFG	protected
PAGEdgeToStmtVFGNodeMapTy typedef	SVF::VFG
PAGNodeSet typedef	SVF::VFG
PAGNodeToActualParmMap	SVF::VFG	protected
PAGNodeToActualParmMapTy typedef	SVF::VFG
PAGNodeToActualRetMap	SVF::VFG	protected
PAGNodeToActualRetMapTy typedef	SVF::VFG
PAGNodeToBinaryOPVFGNodeMap	SVF::VFG	protected
PAGNodeToBinaryOPVFGNodeMapTy typedef	SVF::VFG
PAGNodeToBranchVFGNodeMap	SVF::VFG	protected
PAGNodeToBranchVFGNodeMapTy typedef	SVF::VFG
PAGNodeToCmpVFGNodeMap	SVF::VFG	protected
PAGNodeToCmpVFGNodeMapTy typedef	SVF::VFG
PAGNodeToDefMap	SVF::VFG	protected
PAGNodeToDefMapTy typedef	SVF::SVFG
PAGNodeToFormalParmMap	SVF::VFG	protected
PAGNodeToFormalParmMapTy typedef	SVF::VFG
PAGNodeToFormalRetMap	SVF::VFG	protected
PAGNodeToFormalRetMapTy typedef	SVF::VFG
PAGNodeToIntraPHIVFGNodeMap	SVF::VFG	protected
PAGNodeToPHIVFGNodeMapTy typedef	SVF::VFG
PAGNodeToUnaryOPVFGNodeMap	SVF::VFG	protected
PAGNodeToUnaryOPVFGNodeMapTy typedef	SVF::VFG
performStat()	SVF::SVFG
PHISet typedef	SVF::SVFG
pta	SVF::SVFG	protected
PTRONLYSVFG enum value	SVF::VFG
PTRONLYSVFG_OPT enum value	SVF::VFG
RcSvfgBuilder	SVF::SVFG	friend
readFile(const std::string &filename)	SVF::SVFG	virtual
removeGNode(NodeType *node)	SVF::GenericGraph< NodeTy, EdgeTy >	inline
removeSVFGEdge(SVFGEdge *edge)	SVF::SVFG	inline
removeSVFGNode(SVFGNode *node)	SVF::SVFG	inline
removeVFGEdge(VFGEdge *edge)	SVF::VFG	inline
removeVFGNode(VFGNode *node)	SVF::VFG	inline
RETMU typedef	SVF::SVFG
RetPESet typedef	SVF::VFG
SaberSVFGBuilder	SVF::SVFG	friend
setDef(const PAGNode *pagNode, const SVFGNode *node)	SVF::SVFG	inlineprotected
setDef(const MRVer *mvar, const SVFGNode *node)	SVF::SVFG	inlineprotected
stat	SVF::SVFG	protected
STORECHI typedef	SVF::SVFG
SVFG(std::unique_ptr< MemSSA > mssa, VFGK k)	SVF::SVFG	protected
SVFGBuilder	SVF::SVFG	friend
SVFGEdgeSetTy typedef	SVF::VFG
SVFGNodeIDToNodeMapTy typedef	SVF::SVFG
SVFStmtSet typedef	SVF::VFG
TaintSVFGBuilder	SVF::SVFG	friend
totalVFGNode	SVF::VFG	protected
updateCallGraph(PointerAnalysis *pta)	SVF::VFG
VFG(PTACallGraph *callgraph, VFGK k=FULLSVFG)	SVF::VFG
VFGEdgeSetTy typedef	SVF::VFG
VFGK enum name	SVF::VFG
VFGNodeIDToNodeMapTy typedef	SVF::VFG
VFGNodeIter typedef	SVF::VFG
VFGNodes(const SVFFunction *fun) const	SVF::VFG	inline
VFGNodeSet typedef	SVF::VFG
view()	SVF::VFG
writeToFile(const std::string &filename)	SVF::SVFG	virtual
~GenericGraph()	SVF::GenericGraph< NodeTy, EdgeTy >	inlinevirtual
~SVFG()	SVF::SVFG	inlinevirtual
~VFG()	SVF::VFG	inlinevirtual