Static Value-Flow Analysis
Loading...
Searching...
No Matches
SVF
SVFStmt
SVF::SVFStmt Member List
This is the complete list of members for
SVF::SVFStmt
, including all inherited members.
Addr
enum value
SVF::SVFStmt
basicBlock
SVF::SVFStmt
private
BinaryOp
enum value
SVF::SVFStmt
Branch
enum value
SVF::SVFStmt
Call
enum value
SVF::SVFStmt
callEdgeLabelCounter
SVF::SVFStmt
private
static
classof
(const SVFStmt *)
SVF::SVFStmt
inline
static
classof
(const GenericPAGEdgeTy *edge)
SVF::SVFStmt
inline
static
Cmp
enum value
SVF::SVFStmt
Copy
enum value
SVF::SVFStmt
dst
SVF::GenericEdge< NodeTy >
private
edgeFlag
SVF::GenericEdge< NodeTy >
private
edgeId
SVF::SVFStmt
private
EdgeKindMask
SVF::GenericEdge< NodeTy >
protected
static
EdgeKindMaskBits
SVF::GenericEdge< NodeTy >
protected
static
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
getDstID
() const
SVF::GenericEdge< NodeTy >
inline
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
getSrcID
() const
SVF::GenericEdge< NodeTy >
inline
getSrcNode
() const
SVF::GenericEdge< NodeTy >
inline
getValue
() const
SVF::SVFStmt
inline
icfgNode
SVF::SVFStmt
private
Inst2LabelMap
typedef
SVF::SVFStmt
private
inst2LabelMap
SVF::SVFStmt
private
static
isPTAEdge
() const
SVF::SVFStmt
KindToSVFStmtMapTy
typedef
SVF::SVFStmt
Load
enum value
SVF::SVFStmt
makeEdgeFlagWithAddionalOpnd
(GEdgeKind k, const SVFVar *var)
SVF::SVFStmt
inline
static
makeEdgeFlagWithCallInst
(GEdgeKind k, const ICFGNode *cs)
SVF::SVFStmt
inline
static
makeEdgeFlagWithStoreInst
(GEdgeKind k, const ICFGNode *store)
SVF::SVFStmt
inline
static
multiOpndLabelCounter
SVF::SVFStmt
private
static
NodeType
typedef
SVF::GenericEdge< NodeTy >
operator<<
SVF::SVFStmt
friend
operator==
(const GenericEdge< NodeType > *rhs) const
SVF::GenericEdge< NodeTy >
inline
virtual
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
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
private
static
SVFIRReader
SVF::SVFStmt
friend
SVFIRWriter
SVF::SVFStmt
friend
SVFStmt
(GEdgeFlag k)
SVF::SVFStmt
inline
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
SVF::SVFStmt
virtual
totalEdgeNum
SVF::SVFStmt
static
UnaryOp
enum value
SVF::SVFStmt
value
SVF::SVFStmt
private
var2LabelMap
SVF::SVFStmt
private
static
Var2LabelMap
typedef
SVF::SVFStmt
private
~GenericEdge
()
SVF::GenericEdge< NodeTy >
inline
virtual
~SVFStmt
()
SVF::SVFStmt
inline
Generated by
1.9.8