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

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

addInst2Labeled(const ICFGNode *cs, u32_t label)SVF::SVFStmtinlineprotectedstatic
Addr enum valueSVF::SVFStmt
addVar2Labeled(const SVFVar *var, u32_t label)SVF::SVFStmtinlineprotectedstatic
BAD_FCMP_PREDICATE enum valueSVF::CmpStmt
BAD_ICMP_PREDICATE enum valueSVF::CmpStmt
basicBlockSVF::SVFStmtprivate
BinaryOp enum valueSVF::SVFStmt
Branch enum valueSVF::SVFStmt
Call enum valueSVF::SVFStmt
callEdgeLabelCounterSVF::SVFStmtprivatestatic
classof(const CmpStmt *)SVF::CmpStmtinlinestatic
classof(const SVFStmt *edge)SVF::CmpStmtinlinestatic
classof(const MultiOpndStmt *edge)SVF::CmpStmtinlinestatic
classof(const GenericPAGEdgeTy *edge)SVF::CmpStmtinlinestatic
Cmp enum valueSVF::SVFStmt
CmpStmt(const CmpStmt &)SVF::CmpStmtprivate
CmpStmt(SVFVar *res, const OPVars &opnds, u32_t pre)SVF::CmpStmt
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 >
FCMP_FALSE enum valueSVF::CmpStmt
FCMP_OEQ enum valueSVF::CmpStmt
FCMP_OGE enum valueSVF::CmpStmt
FCMP_OGT enum valueSVF::CmpStmt
FCMP_OLE enum valueSVF::CmpStmt
FCMP_OLT enum valueSVF::CmpStmt
FCMP_ONE enum valueSVF::CmpStmt
FCMP_ORD enum valueSVF::CmpStmt
FCMP_TRUE enum valueSVF::CmpStmt
FCMP_UEQ enum valueSVF::CmpStmt
FCMP_UGE enum valueSVF::CmpStmt
FCMP_UGT enum valueSVF::CmpStmt
FCMP_ULE enum valueSVF::CmpStmt
FCMP_ULT enum valueSVF::CmpStmt
FCMP_UNE enum valueSVF::CmpStmt
FCMP_UNO enum valueSVF::CmpStmt
FIRST_FCMP_PREDICATE enum valueSVF::CmpStmt
FIRST_ICMP_PREDICATE enum valueSVF::CmpStmt
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
getOpndVars() constSVF::MultiOpndStmtinline
getOpVar(u32_t pos) constSVF::MultiOpndStmtinline
getOpVarID(u32_t pos) constSVF::MultiOpndStmt
getOpVarNum() constSVF::MultiOpndStmtinline
getPredicate() constSVF::CmpStmtinline
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::CmpStmtfriend
icfgNodeSVF::SVFStmtprivate
ICMP_EQ enum valueSVF::CmpStmt
ICMP_NE enum valueSVF::CmpStmt
ICMP_SGE enum valueSVF::CmpStmt
ICMP_SGT enum valueSVF::CmpStmt
ICMP_SLE enum valueSVF::CmpStmt
ICMP_SLT enum valueSVF::CmpStmt
ICMP_UGE enum valueSVF::CmpStmt
ICMP_UGT enum valueSVF::CmpStmt
ICMP_ULE enum valueSVF::CmpStmt
ICMP_ULT enum valueSVF::CmpStmt
inst2LabelMapSVF::SVFStmtprivatestatic
Inst2LabelMap typedefSVF::SVFStmtprivate
isPTAEdge() constSVF::SVFStmtvirtual
KindToSVFStmtMapTy typedefSVF::SVFStmt
LAST_FCMP_PREDICATE enum valueSVF::CmpStmt
LAST_ICMP_PREDICATE enum valueSVF::CmpStmt
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
MultiOpndStmt()SVF::MultiOpndStmtprivate
MultiOpndStmt(const MultiOpndStmt &)SVF::MultiOpndStmtprivate
MultiOpndStmt(SVFVar *r, const OPVars &opnds, GEdgeFlag k)SVF::MultiOpndStmtprotected
NodeType typedefSVF::GenericEdge< NodeTy >
operator=(const CmpStmt &)SVF::CmpStmtprivate
operator==(const GenericEdge< NodeType > *rhs) constSVF::GenericEdge< NodeTy >inlinevirtual
opVarBegin() constSVF::MultiOpndStmtinline
opVarsSVF::MultiOpndStmtprotected
OPVars typedefSVF::MultiOpndStmt
opVerEnd() constSVF::MultiOpndStmtinline
PAGEdgeSetTy typedefSVF::SVFStmt
PAGEdgeToSetMapTy typedefSVF::SVFStmt
PEDGEK enum nameSVF::SVFStmt
Phi enum valueSVF::SVFStmt
predicateSVF::CmpStmtprivate
Predicate enum nameSVF::CmpStmt
Ret enum valueSVF::SVFStmt
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
srcSVF::GenericEdge< NodeTy >private
Store enum valueSVF::SVFStmt
storeEdgeLabelCounterSVF::SVFStmtprivatestatic
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::CmpStmtvirtual
UnaryOp enum valueSVF::SVFStmt
valueSVF::SVFStmtprivate
Var2LabelMap typedefSVF::SVFStmtprivate
var2LabelMapSVF::SVFStmtprivatestatic
~GenericEdge()SVF::GenericEdge< NodeTy >inlinevirtual
~SVFStmt()SVF::SVFStmtinline