30 #ifndef INCLUDE_MSSA_SVFGEDGE_H_
31 #define INCLUDE_MSSA_SVFGEDGE_H_
virtual const std::string toString() const
CallSiteID getCallSiteId() const
static bool classof(const VFGEdge *edge)
CallIndSVFGEdge(VFGNode *s, VFGNode *d, CallSiteID id)
static bool classof(const CallIndSVFGEdge *)
static bool classof(const GenericVFGEdgeTy *edge)
static bool classof(const IndirectSVFGEdge *edge)
GEdgeKind getEdgeKind() const
Set< const MRVer * > MRVerSet
const NodeBS & getPointsTo() const
virtual const std::string toString() const
bool addPointsTo(const NodeBS &c)
Handle memory region.
static bool classof(const GenericVFGEdgeTy *edge)
static bool classof(const IndirectSVFGEdge *)
Methods for support type inquiry through isa, cast, and dyn_cast:
IndirectSVFGEdge(VFGNode *s, VFGNode *d, GEdgeFlag k)
Constructor.
static bool classof(const VFGEdge *edge)
static bool classof(const GenericVFGEdgeTy *edge)
IntraIndSVFGEdge(VFGNode *s, VFGNode *d)
static bool classof(const IndirectSVFGEdge *edge)
static bool classof(const VFGEdge *edge)
virtual const std::string toString() const
static bool classof(const IntraIndSVFGEdge *)
CallSiteID getCallSiteId() const
static bool classof(const GenericVFGEdgeTy *edge)
static bool classof(const RetIndSVFGEdge *)
static bool classof(const VFGEdge *edge)
virtual const std::string toString() const
RetIndSVFGEdge(VFGNode *s, VFGNode *d, CallSiteID id)
static bool classof(const IndirectSVFGEdge *edge)
virtual const std::string toString() const
static bool classof(const IndirectSVFGEdge *edge)
static bool classof(const ThreadMHPIndSVFGEdge *)
static bool classof(const VFGEdge *edge)
ThreadMHPIndSVFGEdge(VFGNode *s, VFGNode *d)
static bool classof(const GenericVFGEdgeTy *edge)
static GEdgeFlag makeEdgeFlagWithInvokeID(GEdgeKind k, CallSiteID cs)
Compute the unique edgeFlag value from edge kind and CallSiteID.
std::unordered_set< Key, Hash, KeyEqual, Allocator > Set