Static Value-Flow Analysis
SVF::BranchStmt Member List

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

Addr enum valueSVF::SVFStmt
basicBlockSVF::SVFStmtprivate
BinaryOp enum valueSVF::SVFStmt
Branch enum valueSVF::SVFStmt
BranchStmt()SVF::BranchStmtinlineprivate
BranchStmt(const BranchStmt &)SVF::BranchStmtprivate
BranchStmt(SVFVar *inst, SVFVar *c, const SuccAndCondPairVec &succs)SVF::BranchStmtinline
brInstSVF::BranchStmtprivate
Call enum valueSVF::SVFStmt
callEdgeLabelCounterSVF::SVFStmtprivatestatic
classof(const BranchStmt *)SVF::BranchStmtinlinestatic
classof(const SVFStmt *edge)SVF::BranchStmtinlinestatic
classof(const GenericPAGEdgeTy *edge)SVF::BranchStmtinlinestatic
Cmp enum valueSVF::SVFStmt
condSVF::BranchStmtprivate
Copy enum valueSVF::SVFStmt
dstSVF::GenericEdge< NodeTy >private
edgeFlagSVF::GenericEdge< NodeTy >private
edgeIdSVF::SVFStmtprivate
EdgeKindMaskSVF::GenericEdge< NodeTy >protectedstatic
EdgeKindMaskBitsSVF::GenericEdge< NodeTy >protectedstatic
equalGEdge typedefSVF::GenericEdge< NodeTy >
GEdgeFlag typedefSVF::GenericEdge< NodeTy >
GEdgeKind typedefSVF::GenericEdge< NodeTy >
GenericEdge(NodeTy *s, NodeTy *d, GEdgeFlag k)SVF::GenericEdge< NodeTy >inline
Gep enum valueSVF::SVFStmt
getBB() constSVF::SVFStmtinline
getBranchInst() constSVF::BranchStmtinline
getCondition() constSVF::BranchStmt
getDstID()SVF::BranchStmtprivate
SVF::SVFStmt::getDstID() constSVF::GenericEdge< NodeTy >inline
getDstNode()SVF::BranchStmtprivate
SVF::SVFStmt::getDstNode() constSVF::GenericEdge< NodeTy >inline
getEdgeID() constSVF::SVFStmtinline
getEdgeKind() constSVF::GenericEdge< NodeTy >inline
getEdgeKindWithoutMask() constSVF::GenericEdge< NodeTy >inline
getICFGNode() constSVF::SVFStmtinline
getInst() constSVF::SVFStmtinline
getNumSuccessors() constSVF::BranchStmtinline
getSrcID()SVF::BranchStmtprivate
SVF::SVFStmt::getSrcID() constSVF::GenericEdge< NodeTy >inline
getSrcNode()SVF::BranchStmtprivate
SVF::SVFStmt::getSrcNode() constSVF::GenericEdge< NodeTy >inline
getSuccessor(u32_t i) constSVF::BranchStmtinline
getSuccessorCondValue(u32_t i) constSVF::BranchStmtinline
getSuccessors() constSVF::BranchStmtinline
getValue() constSVF::SVFStmtinline
icfgNodeSVF::SVFStmtprivate
Inst2LabelMap typedefSVF::SVFStmtprivate
inst2LabelMapSVF::SVFStmtprivatestatic
isConditional() constSVF::BranchStmt
isPTAEdge() constSVF::SVFStmt
isUnconditional() constSVF::BranchStmt
KindToSVFStmtMapTy typedefSVF::SVFStmt
Load enum valueSVF::SVFStmt
makeEdgeFlagWithAddionalOpnd(GEdgeKind k, const SVFVar *var)SVF::SVFStmtinlinestatic
makeEdgeFlagWithCallInst(GEdgeKind k, const ICFGNode *cs)SVF::SVFStmtinlinestatic
makeEdgeFlagWithStoreInst(GEdgeKind k, const ICFGNode *store)SVF::SVFStmtinlinestatic
multiOpndLabelCounterSVF::SVFStmtprivatestatic
NodeType typedefSVF::GenericEdge< NodeTy >
operator=(const BranchStmt &)SVF::BranchStmtprivate
operator==(const GenericEdge< NodeType > *rhs) constSVF::GenericEdge< NodeTy >inlinevirtual
PAGEdgeSetTy typedefSVF::SVFStmt
PAGEdgeToSetMapTy typedefSVF::SVFStmt
PEDGEK enum nameSVF::SVFStmt
Phi enum valueSVF::SVFStmt
Ret enum valueSVF::SVFStmt
Select enum valueSVF::SVFStmt
setBB(const SVFBasicBlock *bb)SVF::SVFStmtinline
setICFGNode(ICFGNode *node)SVF::SVFStmtinline
setValue(const SVFValue *val)SVF::SVFStmtinline
srcSVF::GenericEdge< NodeTy >private
Store enum valueSVF::SVFStmt
storeEdgeLabelCounterSVF::SVFStmtprivatestatic
SuccAndCondPairVec typedefSVF::BranchStmt
successorsSVF::BranchStmtprivate
SVFIRReader classSVF::BranchStmtfriend
SVFIRWriter classSVF::BranchStmtfriend
SVFStmt(GEdgeFlag k)SVF::SVFStmtinlineprotected
SVFStmt(SVFVar *s, SVFVar *d, GEdgeFlag k, bool real=true)SVF::SVFStmt
SVFStmtSetTy typedefSVF::SVFStmt
ThreadFork enum valueSVF::SVFStmt
ThreadJoin enum valueSVF::SVFStmt
toString() const overrideSVF::BranchStmtvirtual
totalEdgeNumSVF::SVFStmtstatic
UnaryOp enum valueSVF::SVFStmt
valueSVF::SVFStmtprivate
var2LabelMapSVF::SVFStmtprivatestatic
Var2LabelMap typedefSVF::SVFStmtprivate
~GenericEdge()SVF::GenericEdge< NodeTy >inlinevirtual
~SVFStmt()SVF::SVFStmtinline