SVF::SVFGOPT Member List

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

actualInOfIndCS(const ActualINSVFGNode *ai) const	SVF::SVFGOPT	inlineprivate
ActualINSVFGNodeSet typedef	SVF::SVFG
actualInToDefMap	SVF::SVFGOPT	private
actualOutOfIndCS(const ActualOUTSVFGNode *ao) const	SVF::SVFGOPT	inlineprivate
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
addCallIndirectSVFGEdge(NodeID srcId, NodeID dstId, CallSiteID csid, const NodeBS &cpts)	SVF::SVFGOPT	private
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
addInterPHIForAR(const ActualRetSVFGNode *ar)	SVF::SVFGOPT	inlineprivate
addInterPHIForFP(const FormalParmSVFGNode *fp)	SVF::SVFGOPT	inlineprivate
addInterPHIOperands(PHISVFGNode *phi, const PAGNode *operand)	SVF::SVFGOPT	inlineprivate
addIntoWorklist(const SVFGNode *node)	SVF::SVFGOPT	inlineprivate
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
addNewSVFGEdge(NodeID srcId, NodeID dstId, const SVFGEdge *preEdge, const SVFGEdge *succEdge)	SVF::SVFGOPT	private
addNullPtrVFGNode(const PAGNode *pagNode)	SVF::VFG	inlineprotected
addRetEdge(NodeID srcId, NodeID dstId, CallSiteID csId)	SVF::VFG
addRetIndirectSVFGEdge(NodeID srcId, NodeID dstId, CallSiteID csid, const NodeBS &cpts)	SVF::SVFGOPT	private
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
bothInterEdges(const SVFGEdge *edge1, const SVFGEdge *edge2) const	SVF::SVFGOPT	inlineprivate
buildSVFG() override	SVF::SVFGOPT	protectedvirtual
bypassMSSAPHINode(const MSSAPHISVFGNode *node)	SVF::SVFGOPT	private
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
canBeRemoved(const SVFGNode *node)	SVF::SVFGOPT	private
checkIntraEdgeParents(const VFGNode *srcNode, const VFGNode *dstNode)	SVF::VFG	inlineprotected
checkSelfCycleEdges(const MSSAPHISVFGNode *node)	SVF::SVFGOPT	private
CHI typedef	SVF::SVFG
CHISet typedef	SVF::SVFG
clearMSSA()	SVF::SVFG	inline
connectAInAndFIn(const ActualINSVFGNode *actualIn, const FormalINSVFGNode *formalIn, CallSiteID csId, SVFGEdgeSetTy &edges) override	SVF::SVFGOPT	inlineprotectedvirtual
connectAParamAndFParam(const PAGNode *cs_arg, const PAGNode *fun_arg, const CallICFGNode *, CallSiteID csId, SVFGEdgeSetTy &edges) override	SVF::SVFGOPT	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) override	SVF::SVFGOPT	inlineprotectedvirtual
connectFRetAndARet(const PAGNode *fun_ret, const PAGNode *cs_ret, CallSiteID csId, SVFGEdgeSetTy &edges) override	SVF::SVFGOPT	inlineprotectedvirtual
connectFromGlobalToProgEntry()	SVF::SVFG	protected
connectIndirectSVFGEdges()	SVF::SVFG	protected
const_iterator typedef	SVF::VFG
defNodes	SVF::SVFGOPT	private
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
formalInOfAddressTakenFunc(const FormalINSVFGNode *fi) const	SVF::SVFGOPT	inlineprivate
FormalINSVFGNodeSet typedef	SVF::SVFG
formalOutOfAddressTakenFunc(const FormalOUTSVFGNode *fo) const	SVF::SVFGOPT	inlineprivate
FormalOUTSVFGNodeSet typedef	SVF::SVFG
formalOutToDefMap	SVF::SVFGOPT	private
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
getActualINDef(NodeID ai) const	SVF::SVFGOPT	inlineprotected
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
getFormalOUTDef(NodeID fo) const	SVF::SVFGOPT	inlineprotected
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
handleInterValueFlow()	SVF::SVFGOPT	private
handleIntraValueFlow()	SVF::SVFGOPT	private
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
initialWorkList()	SVF::SVFGOPT	inlineprivate
isCallSiteRetSVFGNode(const SVFGNode *node) const	SVF::SVFG
isConnectingTwoCallSites(const SVFGNode *node) const	SVF::SVFGOPT	private
isDefOfAInFOut(const SVFGNode *node)	SVF::SVFGOPT	inlineprivate
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
keepActualOutFormalIn	SVF::SVFGOPT	private
keepAllSelfCycle	SVF::SVFGOPT	private
keepContextSelfCycle	SVF::SVFGOPT	private
kind	SVF::VFG	protected
LOADMU typedef	SVF::SVFG
mssa	SVF::SVFG	protected
MSSAVarToDefMap	SVF::SVFG	protected
MSSAVarToDefMapTy typedef	SVF::SVFG
MU typedef	SVF::SVFG
MUSet typedef	SVF::SVFG
NodeIDToNodeIDMap typedef	SVF::SVFGOPT	private
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
parseSelfCycleHandleOption()	SVF::SVFGOPT	private
performStat()	SVF::SVFG
PHISet typedef	SVF::SVFG
pta	SVF::SVFG	protected
PTRONLYSVFG enum value	SVF::VFG
PTRONLYSVFG_OPT enum value	SVF::VFG
readFile(const std::string &filename)	SVF::SVFG	virtual
removeAllEdges(const SVFGNode *node)	SVF::SVFGOPT	inlineprivate
removeGNode(NodeType *node)	SVF::GenericGraph< NodeTy, EdgeTy >	inline
removeInEdges(const SVFGNode *node)	SVF::SVFGOPT	inlineprivate
removeOutEdges(const SVFGNode *node)	SVF::SVFGOPT	inlineprivate
removeSVFGEdge(SVFGEdge *edge)	SVF::SVFG	inline
removeSVFGNode(SVFGNode *node)	SVF::SVFG	inline
removeVFGEdge(VFGEdge *edge)	SVF::VFG	inline
removeVFGNode(VFGNode *node)	SVF::VFG	inline
replaceFParamARetWithPHI(PHISVFGNode *phi, SVFGNode *svfgNode)	SVF::SVFGOPT	private
resetDef(const PAGNode *pagNode, const SVFGNode *node)	SVF::SVFGOPT	inlineprivate
retargetEdgesOfAInFOut(SVFGNode *node)	SVF::SVFGOPT	private
retargetEdgesOfAOutFIn(SVFGNode *node)	SVF::SVFGOPT	private
RETMU typedef	SVF::SVFG
RetPESet typedef	SVF::VFG
setActualINDef(NodeID ai, NodeID def)	SVF::SVFGOPT	inlineprivate
setDef(const PAGNode *pagNode, const SVFGNode *node)	SVF::SVFG	inlineprotected
setDef(const MRVer *mvar, const SVFGNode *node)	SVF::SVFG	inlineprotected
setFormalOUTDef(NodeID fo, NodeID def)	SVF::SVFGOPT	inlineprivate
setTokeepActualOutFormalIn()	SVF::SVFGOPT	inline
setTokeepAllSelfCycle()	SVF::SVFGOPT	inline
setTokeepContextSelfCycle()	SVF::SVFGOPT	inline
stat	SVF::SVFG	protected
STORECHI typedef	SVF::SVFG
SVFG(std::unique_ptr< MemSSA > mssa, VFGK k)	SVF::SVFG	protected
SVFGEdgeSetTy typedef	SVF::VFG
SVFGNodeIDToNodeMapTy typedef	SVF::SVFG
SVFGNodeSet typedef	SVF::SVFGOPT	private
SVFGOPT(std::unique_ptr< MemSSA > mssa, VFGK kind)	SVF::SVFGOPT	inline
SVFStmtSet typedef	SVF::VFG
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
worklist	SVF::SVFGOPT	private
WorkList typedef	SVF::SVFGOPT	private
writeToFile(const std::string &filename)	SVF::SVFG	virtual
~GenericGraph()	SVF::GenericGraph< NodeTy, EdgeTy >	inlinevirtual
~SVFG()	SVF::SVFG	inlinevirtual
~SVFGOPT() override=default	SVF::SVFGOPT
~VFG()	SVF::VFG	inlinevirtual