ClearBlue
include
IR
SEG
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
Generated by
1.8.17