addAddrCGEdge(NodeID src, NodeID dst) | SVF::ConstraintGraph | |
addConstraintNode(ConstraintNode *node, NodeID id) | SVF::ConstraintGraph | inline |
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::ConstraintGraph | inline |
addNormalGepCGEdge(NodeID src, NodeID dst, const AccessPath &ap) | SVF::ConstraintGraph | |
AddrCGEdgeSet | SVF::ConstraintGraph | protected |
addStoreCGEdge(NodeID src, NodeID dst) | SVF::ConstraintGraph | |
addVariantGepCGEdge(NodeID src, NodeID dst) | SVF::ConstraintGraph | |
begin() | SVF::GenericGraph< ConstraintNode, ConstraintEdge > | inline |
begin() const | SVF::GenericGraph< ConstraintNode, ConstraintEdge > | inline |
buildCG() | SVF::ConstraintGraph | protected |
clearSolitaries() | SVF::ConstraintGraph | protected |
const_iterator typedef | SVF::GenericGraph< ConstraintNode, ConstraintEdge > | |
ConstraintGraph(SVFIR *p) | SVF::ConstraintGraph | inline |
ConstraintNodeIDToNodeMapTy typedef | SVF::ConstraintGraph | |
ConstraintNodeIter typedef | SVF::ConstraintGraph | |
destroy() | SVF::ConstraintGraph | protected |
directEdgeSet | SVF::ConstraintGraph | protected |
dump(std::string name) | SVF::ConstraintGraph | |
edgeIndex | SVF::ConstraintGraph | protected |
edgeNum | SVF::GenericGraph< ConstraintNode, ConstraintEdge > | |
EdgeType typedef | SVF::GenericGraph< ConstraintNode, ConstraintEdge > | |
end() | SVF::GenericGraph< ConstraintNode, ConstraintEdge > | inline |
end() const | SVF::GenericGraph< ConstraintNode, ConstraintEdge > | inline |
GenericGraph() | SVF::GenericGraph< ConstraintNode, ConstraintEdge > | inline |
getAddrCGEdges() | SVF::ConstraintGraph | inline |
getAllFieldsObjVars(NodeID id) | SVF::ConstraintGraph | inline |
getBaseObjVar(NodeID id) | SVF::ConstraintGraph | inline |
getBlackHoleNode() | SVF::ConstraintGraph | inline |
getConstraintNode(NodeID id) const | SVF::ConstraintGraph | inline |
getDirectCGEdges() | SVF::ConstraintGraph | inline |
getEdge(ConstraintNode *src, ConstraintNode *dst, ConstraintEdge::ConstraintEdgeK kind) | SVF::ConstraintGraph | inline |
getFIObjVar(NodeID id) | SVF::ConstraintGraph | inline |
getGepObjVar(NodeID id, const APOffset &apOffset) | SVF::ConstraintGraph | inline |
getGNode(NodeID id) const | SVF::GenericGraph< ConstraintNode, ConstraintEdge > | inline |
getIndirectCallsites() const | SVF::ConstraintGraph | inline |
getLoadCGEdges() | SVF::ConstraintGraph | inline |
getNextCollapseNode() | SVF::ConstraintGraph | inline |
getPAGEdgeSet(SVFStmt::PEDGEK kind) | SVF::ConstraintGraph | inlineprotected |
getRep(NodeID node) | SVF::ConstraintGraph | inline |
getReturnNode(const SVFFunction *value) const | SVF::ConstraintGraph | inlineprotected |
getStoreCGEdges() | SVF::ConstraintGraph | inline |
getSubs(NodeID node) | SVF::ConstraintGraph | inline |
getTotalEdgeNum() const | SVF::GenericGraph< ConstraintNode, ConstraintEdge > | inline |
getTotalNodeNum() const | SVF::GenericGraph< ConstraintNode, ConstraintEdge > | inline |
getValueNode(const SVFValue *value) const | SVF::ConstraintGraph | inlineprotected |
getVarargNode(const SVFFunction *value) const | SVF::ConstraintGraph | inlineprotected |
hasConstraintNode(NodeID id) const | SVF::ConstraintGraph | inline |
hasEdge(ConstraintNode *src, ConstraintNode *dst, ConstraintEdge::ConstraintEdgeK kind) | SVF::ConstraintGraph | inline |
hasGNode(NodeID id) const | SVF::GenericGraph< ConstraintNode, ConstraintEdge > | inline |
hasNodesToBeCollapsed() const | SVF::ConstraintGraph | inline |
IDToNodeMap | SVF::GenericGraph< ConstraintNode, ConstraintEdge > | protected |
IDToNodeMapTy typedef | SVF::GenericGraph< ConstraintNode, ConstraintEdge > | |
incEdgeNum() | SVF::GenericGraph< ConstraintNode, ConstraintEdge > | inline |
incNodeNum() | SVF::GenericGraph< ConstraintNode, ConstraintEdge > | inline |
isBlkObjOrConstantObj(NodeID id) | SVF::ConstraintGraph | inline |
isPWCNode(NodeID nodeId) | SVF::ConstraintGraph | inline |
isSingleFieldObj(NodeID id) const | SVF::ConstraintGraph | inline |
isZeroOffsettedGepCGEdge(ConstraintEdge *edge) const | SVF::ConstraintGraph | inline |
iterator typedef | SVF::GenericGraph< ConstraintNode, ConstraintEdge > | |
LoadCGEdgeSet | SVF::ConstraintGraph | protected |
moveEdgesToRepNode(ConstraintNode *node, ConstraintNode *rep) | SVF::ConstraintGraph | inline |
moveInEdgesToRepNode(ConstraintNode *node, ConstraintNode *rep) | SVF::ConstraintGraph | |
moveOutEdgesToRepNode(ConstraintNode *node, ConstraintNode *rep) | SVF::ConstraintGraph | |
nodeNum | SVF::GenericGraph< ConstraintNode, ConstraintEdge > | |
nodesToBeCollapsed | SVF::ConstraintGraph | protected |
NodeToRepMap typedef | SVF::ConstraintGraph | |
nodeToRepMap | SVF::ConstraintGraph | protected |
NodeToSubsMap typedef | SVF::ConstraintGraph | |
nodeToSubsMap | SVF::ConstraintGraph | protected |
NodeType typedef | SVF::GenericGraph< ConstraintNode, ConstraintEdge > | |
pag | SVF::ConstraintGraph | protected |
print() | SVF::ConstraintGraph | |
removeAddrEdge(AddrCGEdge *edge) | SVF::ConstraintGraph | |
removeConstraintNode(ConstraintNode *node) | SVF::ConstraintGraph | inline |
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::ConstraintGraph | inline |
resetSubs(NodeID node) | SVF::ConstraintGraph | inline |
reTargetDstOfEdge(ConstraintEdge *edge, ConstraintNode *newDstNode) | SVF::ConstraintGraph | |
reTargetSrcOfEdge(ConstraintEdge *edge, ConstraintNode *newSrcNode) | SVF::ConstraintGraph | |
sccRepNode(NodeID id) const | SVF::ConstraintGraph | inline |
sccSubNodes(NodeID id) | SVF::ConstraintGraph | inline |
setPWCNode(NodeID nodeId) | SVF::ConstraintGraph | inline |
setRep(NodeID node, NodeID rep) | SVF::ConstraintGraph | inline |
setSubs(NodeID node, NodeBS &subs) | SVF::ConstraintGraph | inline |
StoreCGEdgeSet | SVF::ConstraintGraph | protected |
view() | SVF::ConstraintGraph | |
WorkList typedef | SVF::ConstraintGraph | |
~ConstraintGraph() | SVF::ConstraintGraph | inlinevirtual |
~GenericGraph() | SVF::GenericGraph< ConstraintNode, ConstraintEdge > | inlinevirtual |