ClearBlue
SEGReturnSite.h
1 /*
2  * SEGCallSite.h
3  *
4  * Qingkai
5  *
6  * This node is to model a call site.
7  */
8 
9 #ifndef IR_SEG_RETURNSITE_H
10 #define IR_SEG_RETURNSITE_H
11 
12 #include <llvm/IR/Instructions.h>
13 
14 #include "IR/SEG/SymbolicExprGraph.h"
15 
16 using namespace llvm;
17 
18 class SEGReturnSite : public SEGSiteBase {
19 private:
20  SEGReturnSite(Instruction *U, SymbolicExprGraph *G, bool fromDisk)
21  : SEGSiteBase(SEGOBJK_ReturnSite, U, G, fromDisk) {}
22 
23  friend class SymbolicExprGraph;
24  friend class IntraFalcon;
25  friend class MantaIntraFalcon;
26 
27 public:
28  static bool classof(const SEGObject *N) {
29  return N->getKind() == SEGOBJK_ReturnSite;
30  }
31 };
32 
33 #endif
SymbolicExprGraph
Definition: SymbolicExprGraph.h:708
SEGReturnSite
Definition: SEGReturnSite.h:18
SEGObject
Definition: SymbolicExprGraph.h:76
SEGSiteBase
Definition: SymbolicExprGraph.h:663