Static Value-Flow Analysis
SVF::ConstraintGraph Member List

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

addAddrCGEdge(NodeID src, NodeID dst)SVF::ConstraintGraph
addConstraintNode(ConstraintNode *node, NodeID id)SVF::ConstraintGraphinline
addCopyCGEdge(NodeID src, NodeID dst)SVF::ConstraintGraph
addGNode(NodeID id, NodeType *node)SVF::GenericGraph< ConstraintNode, ConstraintEdge >inline
addLoadCGEdge(NodeID src, NodeID dst)SVF::ConstraintGraph
addNodeToBeCollapsed(NodeID id)SVF::ConstraintGraphinline
addNormalGepCGEdge(NodeID src, NodeID dst, const AccessPath &ap)SVF::ConstraintGraph
AddrCGEdgeSetSVF::ConstraintGraphprotected
addStoreCGEdge(NodeID src, NodeID dst)SVF::ConstraintGraph
addVariantGepCGEdge(NodeID src, NodeID dst)SVF::ConstraintGraph
begin()SVF::GenericGraph< ConstraintNode, ConstraintEdge >inline
begin() constSVF::GenericGraph< ConstraintNode, ConstraintEdge >inline
buildCG()SVF::ConstraintGraphprotected
clearSolitaries()SVF::ConstraintGraphprotected
const_iterator typedefSVF::GenericGraph< ConstraintNode, ConstraintEdge >
ConstraintGraph(SVFIR *p)SVF::ConstraintGraphinline
ConstraintNodeIDToNodeMapTy typedefSVF::ConstraintGraph
ConstraintNodeIter typedefSVF::ConstraintGraph
destroy()SVF::ConstraintGraphprotected
directEdgeSetSVF::ConstraintGraphprotected
dump(std::string name)SVF::ConstraintGraph
edgeIndexSVF::ConstraintGraphprotected
edgeNumSVF::GenericGraph< ConstraintNode, ConstraintEdge >
EdgeType typedefSVF::GenericGraph< ConstraintNode, ConstraintEdge >
end()SVF::GenericGraph< ConstraintNode, ConstraintEdge >inline
end() constSVF::GenericGraph< ConstraintNode, ConstraintEdge >inline
GenericGraph()SVF::GenericGraph< ConstraintNode, ConstraintEdge >inline
getAddrCGEdges()SVF::ConstraintGraphinline
getAllFieldsObjVars(NodeID id)SVF::ConstraintGraphinline
getBaseObjVar(NodeID id)SVF::ConstraintGraphinline
getBlackHoleNode()SVF::ConstraintGraphinline
getConstraintNode(NodeID id) constSVF::ConstraintGraphinline
getDirectCGEdges()SVF::ConstraintGraphinline
getEdge(ConstraintNode *src, ConstraintNode *dst, ConstraintEdge::ConstraintEdgeK kind)SVF::ConstraintGraphinline
getFIObjVar(NodeID id)SVF::ConstraintGraphinline
getGepObjVar(NodeID id, const APOffset &apOffset)SVF::ConstraintGraphinline
getGNode(NodeID id) constSVF::GenericGraph< ConstraintNode, ConstraintEdge >inline
getIndirectCallsites() constSVF::ConstraintGraphinline
getLoadCGEdges()SVF::ConstraintGraphinline
getNextCollapseNode()SVF::ConstraintGraphinline
getPAGEdgeSet(SVFStmt::PEDGEK kind)SVF::ConstraintGraphinlineprotected
getRep(NodeID node)SVF::ConstraintGraphinline
getReturnNode(const SVFFunction *value) constSVF::ConstraintGraphinlineprotected
getStoreCGEdges()SVF::ConstraintGraphinline
getSubs(NodeID node)SVF::ConstraintGraphinline
getTotalEdgeNum() constSVF::GenericGraph< ConstraintNode, ConstraintEdge >inline
getTotalNodeNum() constSVF::GenericGraph< ConstraintNode, ConstraintEdge >inline
getValueNode(const SVFValue *value) constSVF::ConstraintGraphinlineprotected
getVarargNode(const SVFFunction *value) constSVF::ConstraintGraphinlineprotected
hasConstraintNode(NodeID id) constSVF::ConstraintGraphinline
hasEdge(ConstraintNode *src, ConstraintNode *dst, ConstraintEdge::ConstraintEdgeK kind)SVF::ConstraintGraphinline
hasGNode(NodeID id) constSVF::GenericGraph< ConstraintNode, ConstraintEdge >inline
hasNodesToBeCollapsed() constSVF::ConstraintGraphinline
IDToNodeMapSVF::GenericGraph< ConstraintNode, ConstraintEdge >protected
IDToNodeMapTy typedefSVF::GenericGraph< ConstraintNode, ConstraintEdge >
incEdgeNum()SVF::GenericGraph< ConstraintNode, ConstraintEdge >inline
incNodeNum()SVF::GenericGraph< ConstraintNode, ConstraintEdge >inline
isBlkObjOrConstantObj(NodeID id)SVF::ConstraintGraphinline
isPWCNode(NodeID nodeId)SVF::ConstraintGraphinline
isSingleFieldObj(NodeID id) constSVF::ConstraintGraphinline
isZeroOffsettedGepCGEdge(ConstraintEdge *edge) constSVF::ConstraintGraphinline
iterator typedefSVF::GenericGraph< ConstraintNode, ConstraintEdge >
LoadCGEdgeSetSVF::ConstraintGraphprotected
moveEdgesToRepNode(ConstraintNode *node, ConstraintNode *rep)SVF::ConstraintGraphinline
moveInEdgesToRepNode(ConstraintNode *node, ConstraintNode *rep)SVF::ConstraintGraph
moveOutEdgesToRepNode(ConstraintNode *node, ConstraintNode *rep)SVF::ConstraintGraph
nodeNumSVF::GenericGraph< ConstraintNode, ConstraintEdge >
nodesToBeCollapsedSVF::ConstraintGraphprotected
NodeToRepMap typedefSVF::ConstraintGraph
nodeToRepMapSVF::ConstraintGraphprotected
NodeToSubsMap typedefSVF::ConstraintGraph
nodeToSubsMapSVF::ConstraintGraphprotected
NodeType typedefSVF::GenericGraph< ConstraintNode, ConstraintEdge >
pagSVF::ConstraintGraphprotected
print()SVF::ConstraintGraph
removeAddrEdge(AddrCGEdge *edge)SVF::ConstraintGraph
removeConstraintNode(ConstraintNode *node)SVF::ConstraintGraphinline
removeDirectEdge(ConstraintEdge *edge)SVF::ConstraintGraph
removeGNode(NodeType *node)SVF::GenericGraph< ConstraintNode, ConstraintEdge >inline
removeLoadEdge(LoadCGEdge *edge)SVF::ConstraintGraph
removeStoreEdge(StoreCGEdge *edge)SVF::ConstraintGraph
resetRep(NodeID node)SVF::ConstraintGraphinline
resetSubs(NodeID node)SVF::ConstraintGraphinline
reTargetDstOfEdge(ConstraintEdge *edge, ConstraintNode *newDstNode)SVF::ConstraintGraph
reTargetSrcOfEdge(ConstraintEdge *edge, ConstraintNode *newSrcNode)SVF::ConstraintGraph
sccRepNode(NodeID id) constSVF::ConstraintGraphinline
sccSubNodes(NodeID id)SVF::ConstraintGraphinline
setPWCNode(NodeID nodeId)SVF::ConstraintGraphinline
setRep(NodeID node, NodeID rep)SVF::ConstraintGraphinline
setSubs(NodeID node, NodeBS &subs)SVF::ConstraintGraphinline
StoreCGEdgeSetSVF::ConstraintGraphprotected
view()SVF::ConstraintGraph
WorkList typedefSVF::ConstraintGraph
~ConstraintGraph()SVF::ConstraintGraphinlinevirtual
~GenericGraph()SVF::GenericGraph< ConstraintNode, ConstraintEdge >inlinevirtual