Static Value-Flow Analysis
Loading...
Searching...
No Matches
SVF::BinaryOPStmt Member List

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

Add enum valueSVF::BinaryOPStmt
addInst2Labeled(const ICFGNode *cs, u32_t label)SVF::SVFStmtinlineprotectedstatic
Addr enum valueSVF::SVFStmt
addVar2Labeled(const SVFVar *var, u32_t label)SVF::SVFStmtinlineprotectedstatic
And enum valueSVF::BinaryOPStmt
AShr enum valueSVF::BinaryOPStmt
basicBlockSVF::SVFStmtprivate
BinaryOp enum valueSVF::SVFStmt
BinaryOPStmt(const BinaryOPStmt &)SVF::BinaryOPStmtprivate
BinaryOPStmt(SVFVar *res, const OPVars &opnds, u32_t oc)SVF::BinaryOPStmt
Branch enum valueSVF::SVFStmt
Call enum valueSVF::SVFStmt
callEdgeLabelCounterSVF::SVFStmtprivatestatic
classof(const BinaryOPStmt *)SVF::BinaryOPStmtinlinestatic
classof(const SVFStmt *edge)SVF::BinaryOPStmtinlinestatic
classof(const MultiOpndStmt *edge)SVF::BinaryOPStmtinlinestatic
classof(const GenericPAGEdgeTy *edge)SVF::BinaryOPStmtinlinestatic
Cmp enum valueSVF::SVFStmt
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 >
FAdd enum valueSVF::BinaryOPStmt
FDiv enum valueSVF::BinaryOPStmt
FMul enum valueSVF::BinaryOPStmt
FRem enum valueSVF::BinaryOPStmt
FSub enum valueSVF::BinaryOPStmt
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
getCallEdgeLabelCounter()SVF::SVFStmtinlinestatic
getDstID()SVF::MultiOpndStmtprivate
SVF::SVFStmt::getDstID() constSVF::GenericEdge< NodeTy >inline
getDstNode()SVF::MultiOpndStmtprivate
SVF::SVFStmt::getDstNode() constSVF::GenericEdge< NodeTy >inline
getEdgeID() constSVF::SVFStmtinline
getEdgeKind() constSVF::GenericEdge< NodeTy >inline
getEdgeKindWithoutMask() constSVF::GenericEdge< NodeTy >inline
getICFGNode() constSVF::SVFStmtinline
getInst2LabelMap()SVF::SVFStmtinlinestatic
getMultiOpndLabelCounter()SVF::SVFStmtinlinestatic
getOpcode() constSVF::BinaryOPStmtinline
getOpndVars() constSVF::MultiOpndStmtinline
getOpVar(u32_t pos) constSVF::MultiOpndStmtinline
getOpVarID(u32_t pos) constSVF::MultiOpndStmt
getOpVarNum() constSVF::MultiOpndStmtinline
getRes() constSVF::MultiOpndStmtinline
getResID() constSVF::MultiOpndStmt
getSrcID()SVF::MultiOpndStmtprivate
SVF::SVFStmt::getSrcID() constSVF::GenericEdge< NodeTy >inline
getSrcNode()SVF::MultiOpndStmtprivate
SVF::SVFStmt::getSrcNode() constSVF::GenericEdge< NodeTy >inline
getStoreEdgeLabelCounter()SVF::SVFStmtinlinestatic
getValue() constSVF::SVFStmtinline
getVar2LabelMap()SVF::SVFStmtinlinestatic
GraphDBClientSVF::BinaryOPStmtfriend
icfgNodeSVF::SVFStmtprivate
Inst2LabelMap typedefSVF::SVFStmtprivate
inst2LabelMapSVF::SVFStmtprivatestatic
isPTAEdge() constSVF::SVFStmtvirtual
KindToSVFStmtMapTy typedefSVF::SVFStmt
Load enum valueSVF::SVFStmt
LShr enum valueSVF::BinaryOPStmt
makeEdgeFlagWithAddionalOpnd(GEdgeKind k, const SVFVar *var)SVF::SVFStmtinlinestatic
makeEdgeFlagWithCallInst(GEdgeKind k, const ICFGNode *cs)SVF::SVFStmtinlinestatic
makeEdgeFlagWithStoreInst(GEdgeKind k, const ICFGNode *store)SVF::SVFStmtinlinestatic
Mul enum valueSVF::BinaryOPStmt
multiOpndLabelCounterSVF::SVFStmtprivatestatic
MultiOpndStmt()SVF::MultiOpndStmtprivate
MultiOpndStmt(const MultiOpndStmt &)SVF::MultiOpndStmtprivate
MultiOpndStmt(SVFVar *r, const OPVars &opnds, GEdgeFlag k)SVF::MultiOpndStmtprotected
NodeType typedefSVF::GenericEdge< NodeTy >
OpCode enum nameSVF::BinaryOPStmt
opcodeSVF::BinaryOPStmtprivate
operator=(const BinaryOPStmt &)SVF::BinaryOPStmtprivate
operator==(const GenericEdge< NodeType > *rhs) constSVF::GenericEdge< NodeTy >inlinevirtual
opVarBegin() constSVF::MultiOpndStmtinline
opVarsSVF::MultiOpndStmtprotected
OPVars typedefSVF::MultiOpndStmt
opVerEnd() constSVF::MultiOpndStmtinline
Or enum valueSVF::BinaryOPStmt
PAGEdgeSetTy typedefSVF::SVFStmt
PAGEdgeToSetMapTy typedefSVF::SVFStmt
PEDGEK enum nameSVF::SVFStmt
Phi enum valueSVF::SVFStmt
Ret enum valueSVF::SVFStmt
SDiv enum valueSVF::BinaryOPStmt
Select enum valueSVF::SVFStmt
setBasicBlock(const SVFBasicBlock *bb)SVF::SVFStmtinlineprotected
setBB(const SVFBasicBlock *bb)SVF::SVFStmtinline
setCallEdgeLabelCounter(u64_t counter)SVF::SVFStmtinlineprotected
setICFGNode(ICFGNode *node)SVF::SVFStmtinline
setMultiOpndLabelCounter(u64_t counter)SVF::SVFStmtinlineprotected
setStoreEdgeLabelCounter(u64_t counter)SVF::SVFStmtinlineprotected
setValue(const SVFVar *val)SVF::SVFStmtinline
Shl enum valueSVF::BinaryOPStmt
srcSVF::GenericEdge< NodeTy >private
SRem enum valueSVF::BinaryOPStmt
Store enum valueSVF::SVFStmt
storeEdgeLabelCounterSVF::SVFStmtprivatestatic
Sub enum valueSVF::BinaryOPStmt
SVFStmt(GEdgeFlag k)SVF::SVFStmtinlineprotected
SVFStmt(SVFVar *s, SVFVar *d, GEdgeFlag k, EdgeID eid, SVFVar *value, ICFGNode *icfgNode, bool real=true)SVF::SVFStmtprotected
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::BinaryOPStmtvirtual
UDiv enum valueSVF::BinaryOPStmt
UnaryOp enum valueSVF::SVFStmt
URem enum valueSVF::BinaryOPStmt
valueSVF::SVFStmtprivate
Var2LabelMap typedefSVF::SVFStmtprivate
var2LabelMapSVF::SVFStmtprivatestatic
Xor enum valueSVF::BinaryOPStmt
~GenericEdge()SVF::GenericEdge< NodeTy >inlinevirtual
~SVFStmt()SVF::SVFStmtinline