Addr enum value | SVF::SVFStmt | |
BAD_FCMP_PREDICATE enum value | SVF::CmpStmt | |
BAD_ICMP_PREDICATE enum value | SVF::CmpStmt | |
basicBlock | SVF::SVFStmt | private |
BinaryOp enum value | SVF::SVFStmt | |
Branch enum value | SVF::SVFStmt | |
Call enum value | SVF::SVFStmt | |
callEdgeLabelCounter | SVF::SVFStmt | privatestatic |
classof(const CmpStmt *) | SVF::CmpStmt | inlinestatic |
classof(const SVFStmt *edge) | SVF::CmpStmt | inlinestatic |
classof(const MultiOpndStmt *edge) | SVF::CmpStmt | inlinestatic |
classof(const GenericPAGEdgeTy *edge) | SVF::CmpStmt | inlinestatic |
Cmp enum value | SVF::SVFStmt | |
CmpStmt() | SVF::CmpStmt | inlineprivate |
CmpStmt(const CmpStmt &) | SVF::CmpStmt | private |
CmpStmt(SVFVar *s, const OPVars &opnds, u32_t pre) | SVF::CmpStmt | |
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 > | |
FCMP_FALSE enum value | SVF::CmpStmt | |
FCMP_OEQ enum value | SVF::CmpStmt | |
FCMP_OGE enum value | SVF::CmpStmt | |
FCMP_OGT enum value | SVF::CmpStmt | |
FCMP_OLE enum value | SVF::CmpStmt | |
FCMP_OLT enum value | SVF::CmpStmt | |
FCMP_ONE enum value | SVF::CmpStmt | |
FCMP_ORD enum value | SVF::CmpStmt | |
FCMP_TRUE enum value | SVF::CmpStmt | |
FCMP_UEQ enum value | SVF::CmpStmt | |
FCMP_UGE enum value | SVF::CmpStmt | |
FCMP_UGT enum value | SVF::CmpStmt | |
FCMP_ULE enum value | SVF::CmpStmt | |
FCMP_ULT enum value | SVF::CmpStmt | |
FCMP_UNE enum value | SVF::CmpStmt | |
FCMP_UNO enum value | SVF::CmpStmt | |
FIRST_FCMP_PREDICATE enum value | SVF::CmpStmt | |
FIRST_ICMP_PREDICATE enum value | SVF::CmpStmt | |
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 |
getDstID() | SVF::MultiOpndStmt | private |
SVF::SVFStmt::getDstID() const | SVF::GenericEdge< NodeTy > | inline |
getDstNode() | SVF::MultiOpndStmt | 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 |
getInst() const | SVF::SVFStmt | inline |
getOpndVars() const | SVF::MultiOpndStmt | inline |
getOpVar(u32_t pos) const | SVF::MultiOpndStmt | inline |
getOpVarID(u32_t pos) const | SVF::MultiOpndStmt | |
getOpVarNum() const | SVF::MultiOpndStmt | inline |
getPredicate() const | SVF::CmpStmt | inline |
getRes() const | SVF::MultiOpndStmt | inline |
getResID() const | SVF::MultiOpndStmt | |
getSrcID() | SVF::MultiOpndStmt | private |
SVF::SVFStmt::getSrcID() const | SVF::GenericEdge< NodeTy > | inline |
getSrcNode() | SVF::MultiOpndStmt | private |
SVF::SVFStmt::getSrcNode() const | SVF::GenericEdge< NodeTy > | inline |
getValue() const | SVF::SVFStmt | inline |
icfgNode | SVF::SVFStmt | private |
ICMP_EQ enum value | SVF::CmpStmt | |
ICMP_NE enum value | SVF::CmpStmt | |
ICMP_SGE enum value | SVF::CmpStmt | |
ICMP_SGT enum value | SVF::CmpStmt | |
ICMP_SLE enum value | SVF::CmpStmt | |
ICMP_SLT enum value | SVF::CmpStmt | |
ICMP_UGE enum value | SVF::CmpStmt | |
ICMP_UGT enum value | SVF::CmpStmt | |
ICMP_ULE enum value | SVF::CmpStmt | |
ICMP_ULT enum value | SVF::CmpStmt | |
Inst2LabelMap typedef | SVF::SVFStmt | private |
inst2LabelMap | SVF::SVFStmt | privatestatic |
isPTAEdge() const | SVF::SVFStmt | |
KindToSVFStmtMapTy typedef | SVF::SVFStmt | |
LAST_FCMP_PREDICATE enum value | SVF::CmpStmt | |
LAST_ICMP_PREDICATE enum value | SVF::CmpStmt | |
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 |
MultiOpndStmt() | SVF::MultiOpndStmt | private |
MultiOpndStmt(const MultiOpndStmt &) | SVF::MultiOpndStmt | private |
MultiOpndStmt(SVFVar *r, const OPVars &opnds, GEdgeFlag k) | SVF::MultiOpndStmt | protected |
MultiOpndStmt(GEdgeFlag k) | SVF::MultiOpndStmt | inlineprotected |
NodeType typedef | SVF::GenericEdge< NodeTy > | |
operator=(const CmpStmt &) | SVF::CmpStmt | private |
operator==(const GenericEdge< NodeType > *rhs) const | SVF::GenericEdge< NodeTy > | inlinevirtual |
opVarBegin() const | SVF::MultiOpndStmt | inline |
OPVars typedef | SVF::MultiOpndStmt | |
opVars | SVF::MultiOpndStmt | protected |
opVerEnd() const | SVF::MultiOpndStmt | inline |
PAGEdgeSetTy typedef | SVF::SVFStmt | |
PAGEdgeToSetMapTy typedef | SVF::SVFStmt | |
PEDGEK enum name | SVF::SVFStmt | |
Phi enum value | SVF::SVFStmt | |
predicate | SVF::CmpStmt | private |
Predicate enum name | SVF::CmpStmt | |
Ret enum value | SVF::SVFStmt | |
Select enum value | SVF::SVFStmt | |
setBB(const SVFBasicBlock *bb) | SVF::SVFStmt | inline |
setICFGNode(ICFGNode *node) | SVF::SVFStmt | inline |
setValue(const SVFValue *val) | SVF::SVFStmt | inline |
src | SVF::GenericEdge< NodeTy > | private |
Store enum value | SVF::SVFStmt | |
storeEdgeLabelCounter | SVF::SVFStmt | privatestatic |
SVFIRReader | SVF::CmpStmt | friend |
SVFIRWriter | SVF::CmpStmt | friend |
SVFStmt(GEdgeFlag k) | SVF::SVFStmt | inlineprotected |
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::CmpStmt | virtual |
totalEdgeNum | SVF::SVFStmt | static |
UnaryOp enum value | SVF::SVFStmt | |
value | SVF::SVFStmt | private |
Var2LabelMap typedef | SVF::SVFStmt | private |
var2LabelMap | SVF::SVFStmt | privatestatic |
~GenericEdge() | SVF::GenericEdge< NodeTy > | inlinevirtual |
~SVFStmt() | SVF::SVFStmt | inline |