| addInst2Labeled(const ICFGNode *cs, u32_t label) | SVF::SVFStmt | inlineprotectedstatic |
| Addr enum value | SVF::SVFStmt | |
| addVar2Labeled(const SVFVar *var, u32_t label) | SVF::SVFStmt | inlineprotectedstatic |
| basicBlock | SVF::SVFStmt | private |
| BinaryOp enum value | SVF::SVFStmt | |
| Branch enum value | SVF::SVFStmt | |
| BranchStmt(const BranchStmt &) | SVF::BranchStmt | private |
| BranchStmt(SVFVar *inst, SVFVar *c, const SuccAndCondPairVec &succs) | SVF::BranchStmt | inline |
| brInst | SVF::BranchStmt | private |
| Call enum value | SVF::SVFStmt | |
| callEdgeLabelCounter | SVF::SVFStmt | privatestatic |
| classof(const BranchStmt *) | SVF::BranchStmt | inlinestatic |
| classof(const SVFStmt *edge) | SVF::BranchStmt | inlinestatic |
| classof(const GenericPAGEdgeTy *edge) | SVF::BranchStmt | inlinestatic |
| Cmp enum value | SVF::SVFStmt | |
| cond | SVF::BranchStmt | private |
| Copy enum value | SVF::SVFStmt | |
| dst | SVF::GenericEdge< NodeTy > | private |
| edgeFlag | SVF::GenericEdge< NodeTy > | private |
| edgeId | SVF::SVFStmt | private |
| EdgeKindMask | SVF::GenericEdge< NodeTy > | protectedstatic |
| EdgeKindMaskBits | SVF::GenericEdge< NodeTy > | protectedstatic |
| equalGEdge typedef | SVF::GenericEdge< NodeTy > | |
| GEdgeFlag typedef | SVF::GenericEdge< NodeTy > | |
| GEdgeKind typedef | SVF::GenericEdge< NodeTy > | |
| GenericEdge(NodeTy *s, NodeTy *d, GEdgeFlag k) | SVF::GenericEdge< NodeTy > | inline |
| Gep enum value | SVF::SVFStmt | |
| getBB() const | SVF::SVFStmt | inline |
| getBranchInst() const | SVF::BranchStmt | inline |
| getCallEdgeLabelCounter() | SVF::SVFStmt | inlinestatic |
| getCondition() const | SVF::BranchStmt | |
| getDstID() | SVF::BranchStmt | private |
| SVF::SVFStmt::getDstID() const | SVF::GenericEdge< NodeTy > | inline |
| getDstNode() | SVF::BranchStmt | private |
| SVF::SVFStmt::getDstNode() const | SVF::GenericEdge< NodeTy > | inline |
| getEdgeID() const | SVF::SVFStmt | inline |
| getEdgeKind() const | SVF::GenericEdge< NodeTy > | inline |
| getEdgeKindWithoutMask() const | SVF::GenericEdge< NodeTy > | inline |
| getICFGNode() const | SVF::SVFStmt | inline |
| getInst2LabelMap() | SVF::SVFStmt | inlinestatic |
| getMultiOpndLabelCounter() | SVF::SVFStmt | inlinestatic |
| getNumSuccessors() const | SVF::BranchStmt | inline |
| getSrcID() | SVF::BranchStmt | private |
| SVF::SVFStmt::getSrcID() const | SVF::GenericEdge< NodeTy > | inline |
| getSrcNode() | SVF::BranchStmt | private |
| SVF::SVFStmt::getSrcNode() const | SVF::GenericEdge< NodeTy > | inline |
| getStoreEdgeLabelCounter() | SVF::SVFStmt | inlinestatic |
| getSuccessor(u32_t i) const | SVF::BranchStmt | inline |
| getSuccessorCondValue(u32_t i) const | SVF::BranchStmt | inline |
| getSuccessors() const | SVF::BranchStmt | inline |
| getValue() const | SVF::SVFStmt | inline |
| getVar2LabelMap() | SVF::SVFStmt | inlinestatic |
| GraphDBClient | SVF::BranchStmt | friend |
| icfgNode | SVF::SVFStmt | private |
| inst2LabelMap | SVF::SVFStmt | privatestatic |
| Inst2LabelMap typedef | SVF::SVFStmt | private |
| isConditional() const | SVF::BranchStmt | |
| isPTAEdge() const | SVF::SVFStmt | virtual |
| isUnconditional() const | SVF::BranchStmt | |
| KindToSVFStmtMapTy typedef | SVF::SVFStmt | |
| Load enum value | SVF::SVFStmt | |
| makeEdgeFlagWithAddionalOpnd(GEdgeKind k, const SVFVar *var) | SVF::SVFStmt | inlinestatic |
| makeEdgeFlagWithCallInst(GEdgeKind k, const ICFGNode *cs) | SVF::SVFStmt | inlinestatic |
| makeEdgeFlagWithStoreInst(GEdgeKind k, const ICFGNode *store) | SVF::SVFStmt | inlinestatic |
| multiOpndLabelCounter | SVF::SVFStmt | privatestatic |
| NodeType typedef | SVF::GenericEdge< NodeTy > | |
| operator=(const BranchStmt &) | SVF::BranchStmt | private |
| operator==(const GenericEdge< NodeType > *rhs) const | SVF::GenericEdge< NodeTy > | inlinevirtual |
| PAGEdgeSetTy typedef | SVF::SVFStmt | |
| PAGEdgeToSetMapTy typedef | SVF::SVFStmt | |
| PEDGEK enum name | SVF::SVFStmt | |
| Phi enum value | SVF::SVFStmt | |
| Ret enum value | SVF::SVFStmt | |
| Select enum value | SVF::SVFStmt | |
| setBasicBlock(const SVFBasicBlock *bb) | SVF::SVFStmt | inlineprotected |
| setBB(const SVFBasicBlock *bb) | SVF::SVFStmt | inline |
| setCallEdgeLabelCounter(u64_t counter) | SVF::SVFStmt | inlineprotected |
| setICFGNode(ICFGNode *node) | SVF::SVFStmt | inline |
| setMultiOpndLabelCounter(u64_t counter) | SVF::SVFStmt | inlineprotected |
| setStoreEdgeLabelCounter(u64_t counter) | SVF::SVFStmt | inlineprotected |
| setValue(const SVFVar *val) | SVF::SVFStmt | inline |
| src | SVF::GenericEdge< NodeTy > | private |
| Store enum value | SVF::SVFStmt | |
| storeEdgeLabelCounter | SVF::SVFStmt | privatestatic |
| SuccAndCondPairVec typedef | SVF::BranchStmt | |
| successors | SVF::BranchStmt | private |
| SVFStmt(GEdgeFlag k) | SVF::SVFStmt | inlineprotected |
| SVFStmt(SVFVar *s, SVFVar *d, GEdgeFlag k, EdgeID eid, SVFVar *value, ICFGNode *icfgNode, bool real=true) | SVF::SVFStmt | protected |
| SVFStmt(SVFVar *s, SVFVar *d, GEdgeFlag k, bool real=true) | SVF::SVFStmt | |
| SVFStmtSetTy typedef | SVF::SVFStmt | |
| ThreadFork enum value | SVF::SVFStmt | |
| ThreadJoin enum value | SVF::SVFStmt | |
| toString() const override | SVF::BranchStmt | virtual |
| UnaryOp enum value | SVF::SVFStmt | |
| value | SVF::SVFStmt | private |
| var2LabelMap | SVF::SVFStmt | privatestatic |
| Var2LabelMap typedef | SVF::SVFStmt | private |
| ~GenericEdge() | SVF::GenericEdge< NodeTy > | inlinevirtual |
| ~SVFStmt() | SVF::SVFStmt | inline |
