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 LocationSet &ls) | SVF::ConstraintGraph | |
AddrCGEdgeSet | SVF::ConstraintGraph | protected |
addRefLoadEdge(NodeID src, NodeID dst) | SVF::OfflineConsG | protected |
addRefStoreEdge(NodeID src, NodeID dst) | SVF::OfflineConsG | 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 |
buildOfflineCG() | SVF::OfflineConsG | protected |
buildOfflineMap(OSCC *oscc) | SVF::OfflineConsG | |
const_iterator typedef | SVF::GenericGraph< ConstraintNode, ConstraintEdge > | |
ConstraintGraph(PAG *p) | SVF::ConstraintGraph | inline |
ConstraintNodeIDToNodeMapTy typedef | SVF::ConstraintGraph | |
ConstraintNodeIter typedef | SVF::ConstraintGraph | |
createRefNode(NodeID nodeId) | SVF::OfflineConsG | protected |
destroy() | SVF::ConstraintGraph | protected |
directEdgeSet | SVF::ConstraintGraph | protected |
dump(std::string name) | SVF::OfflineConsG | |
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 |
getAllFieldsObjNode(NodeID id) | SVF::ConstraintGraph | inline |
getBaseObjNode(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 |
getFIObjNode(NodeID id) | SVF::ConstraintGraph | inline |
getGepObjNode(NodeID id, const LocationSet &ls) | 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 |
getNorRep(NodeID nor) const | SVF::OfflineConsG | inlineprotected |
getOCGRep(NodeID node) const | SVF::OfflineConsG | inline |
getOCGRepMap() const | SVF::OfflineConsG | inline |
getPAGEdgeSet(PAGEdge::PEDGEK kind) | SVF::ConstraintGraph | inlineprotected |
getRef(NodeID node) const | SVF::OfflineConsG | inline |
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 Value *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 |
hasNorRep(NodeID nor) const | SVF::OfflineConsG | inlineprotected |
hasOCGRep(NodeID node) const | SVF::OfflineConsG | inline |
hasRef(NodeID node) const | SVF::OfflineConsG | 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 |
isaRef(NodeID node) const | SVF::OfflineConsG | 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 |
LoadEdges typedef | SVF::OfflineConsG | |
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 |
nodeToRefMap | SVF::OfflineConsG | protected |
NodeToRepMap typedef | SVF::ConstraintGraph | |
nodeToRepMap | SVF::ConstraintGraph | protected |
nodeToSubsMap | SVF::ConstraintGraph | protected |
NodeToSubsMap typedef | SVF::ConstraintGraph | |
NodeType typedef | SVF::GenericGraph< ConstraintNode, ConstraintEdge > | |
norToRepMap | SVF::OfflineConsG | protected |
OfflineConsG(PAG *p) | SVF::OfflineConsG | inline |
OSCC typedef | SVF::OfflineConsG | |
pag | SVF::ConstraintGraph | protected |
print() | SVF::ConstraintGraph | |
refNodes | SVF::OfflineConsG | protected |
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 |
setNorRep(NodeID nor, NodeID rep) | SVF::OfflineConsG | inlineprotected |
setPWCNode(NodeID nodeId) | SVF::ConstraintGraph | inline |
setRep(NodeID node, NodeID rep) | SVF::ConstraintGraph | inline |
setSubs(NodeID node, NodeBS &subs) | SVF::ConstraintGraph | inline |
solveOfflineSCC(OSCC *oscc) | SVF::OfflineConsG | |
solveRep(OSCC *oscc, NodeID rep) | SVF::OfflineConsG | protected |
StoreCGEdgeSet | SVF::ConstraintGraph | protected |
StoreEdges typedef | SVF::OfflineConsG | |
view() | SVF::ConstraintGraph | |
WorkList typedef | SVF::ConstraintGraph | |
~ConstraintGraph() | SVF::ConstraintGraph | inlinevirtual |
~GenericGraph() | SVF::GenericGraph< ConstraintNode, ConstraintEdge > | inlinevirtual |