#include <SVFStatements.h>
|
| TDJoinPE (SVFVar *s, SVFVar *d, const CallICFGNode *i, const FunExitICFGNode *e) |
| Constructor. More...
|
|
virtual const std::string | toString () const |
|
| RetPE (SVFVar *s, SVFVar *d, const CallICFGNode *i, const FunExitICFGNode *e, GEdgeKind k=SVFStmt::Ret) |
| constructor More...
|
|
const CallICFGNode * | getCallInst () const |
| Get method for call instruction at caller. More...
|
|
const CallICFGNode * | getCallSite () const |
|
const FunExitICFGNode * | getFunExitICFGNode () const |
|
SVFVar * | getRHSVar () const |
|
SVFVar * | getLHSVar () const |
|
NodeID | getRHSVarID () const |
|
NodeID | getLHSVarID () const |
|
| SVFStmt (SVFVar *s, SVFVar *d, GEdgeFlag k, bool real=true) |
| Constructor. More...
|
|
| ~SVFStmt () |
| Destructor. More...
|
|
EdgeID | getEdgeID () const |
| Return Edge ID. More...
|
|
bool | isPTAEdge () const |
| Whether src and dst nodes are both of pointer type. More...
|
|
const SVFInstruction * | getInst () const |
| Get/set methods for llvm instruction. More...
|
|
void | setValue (const SVFValue *val) |
|
const SVFValue * | getValue () const |
|
void | setBB (const SVFBasicBlock *bb) |
|
const SVFBasicBlock * | getBB () const |
|
void | setICFGNode (ICFGNode *node) |
|
ICFGNode * | getICFGNode () const |
|
| GenericEdge (NodeTy *s, NodeTy *d, GEdgeFlag k) |
| Constructor. More...
|
|
virtual | ~GenericEdge () |
| Destructor. More...
|
|
NodeID | getSrcID () const |
| get methods of the components More...
|
|
NodeID | getDstID () const |
|
GEdgeKind | getEdgeKind () const |
|
GEdgeKind | getEdgeKindWithoutMask () const |
|
NodeType * | getSrcNode () const |
|
NodeType * | getDstNode () const |
|
virtual bool | operator== (const GenericEdge< NodeType > *rhs) const |
|
|
enum | PEDGEK {
Addr
, Copy
, Store
, Load
,
Call
, Ret
, Gep
, Phi
,
Select
, Cmp
, BinaryOp
, UnaryOp
,
Branch
, ThreadFork
, ThreadJoin
} |
|
typedef GenericNode< SVFVar, SVFStmt >::GEdgeSetTy | SVFStmtSetTy |
|
typedef Map< EdgeID, SVFStmtSetTy > | PAGEdgeToSetMapTy |
|
typedef PAGEdgeToSetMapTy | KindToSVFStmtMapTy |
|
typedef SVFStmtSetTy | PAGEdgeSetTy |
|
typedef NodeTy | NodeType |
| Node type. More...
|
|
typedef u64_t | GEdgeFlag |
|
typedef s64_t | GEdgeKind |
|
typedef struct SVF::GenericEdge::equalGEdge | equalGEdge |
| Add the hash function for std::set (we also can overload operator< to implement this) More...
|
|
static u32_t | totalEdgeNum |
| Total edge number. More...
|
|
| RetPE (GEdgeFlag k=SVFStmt::Ret) |
| the function exit statement returned from More...
|
|
| AssignStmt (SVFVar *s, SVFVar *d, GEdgeFlag k) |
| constructor More...
|
|
| AssignStmt (GEdgeFlag k) |
| Constructor to create empty AssignStmt (for SVFIRReader/serialization) More...
|
|
| SVFStmt (GEdgeFlag k) |
| Private constructor for reading SVFIR from file without side-effect. More...
|
|
static constexpr unsigned char | EdgeKindMaskBits = 8 |
| We use the lower 8 bits to denote edge kind. More...
|
|
static constexpr u64_t | EdgeKindMask = (~0ULL) >> (64 - EdgeKindMaskBits) |
|
Thread Join
Definition at line 1291 of file SVFStatements.h.
◆ TDJoinPE() [1/3]
SVF::TDJoinPE::TDJoinPE |
( |
| ) |
|
|
inlineprivate |
Constructs empty TDJoinPE (for SVFIRReader/serialization)
Definition at line 1298 of file SVFStatements.h.
RetPE(const RetPE &)
place holder
◆ TDJoinPE() [2/3]
SVF::TDJoinPE::TDJoinPE |
( |
const TDJoinPE & |
| ) |
|
|
private |
◆ TDJoinPE() [3/3]
◆ classof() [1/3]
◆ classof() [2/3]
static bool SVF::TDJoinPE::classof |
( |
const SVFStmt * |
edge | ) |
|
|
inlinestatic |
◆ classof() [3/3]
static bool SVF::TDJoinPE::classof |
( |
const TDJoinPE * |
| ) |
|
|
inlinestatic |
Methods for support type inquiry through isa, cast, and dyn_cast:
Definition at line 1305 of file SVFStatements.h.
◆ operator=()
void SVF::TDJoinPE::operator= |
( |
const TDJoinPE & |
| ) |
|
|
private |
◆ toString()
Reimplemented from SVF::RetPE.
Definition at line 270 of file SVFStatements.cpp.
273 std::stringstream rawstr(str);
NodeID getRHSVarID() const
NodeID getLHSVarID() const
static const Option< bool > ShowSVFIRValue
const SVFValue * getValue() const
std::string toString() const
Needs to be implemented by a SVF front end.
◆ SVFIRReader
◆ SVFIRWriter
The documentation for this class was generated from the following files: