ClearBlue
|
Public Member Functions | |
Instruction * | GEPUsedInstruction () const |
SEGNodeBase * | getPtrOperand () const |
std::vector< SEGNodeBase * > & | getOffsetOperands () |
Public Member Functions inherited from SEGSiteBase | |
CallSite | getLLVMCallSite () const |
Instruction * | getInstruction () const |
SEGValue * | getSEGValue () const |
virtual Value * | getLLVMDbgValue () const override |
Public Member Functions inherited from SEGObject | |
SEGObject (SEGObjectKind OK, SymbolicExprGraph *SEG, BasicBlock *BB, bool fromDisk) | |
virtual Instruction * | getLLVMDbgInstruction () const |
SEGObjectKind | getKind () const |
int64_t | getSEGIndex () const |
void | setObjIndex (int64_t index) |
int64_t | getObjIndex () const |
const char * | getKindName () const |
BasicBlock * | getParentBasicBlock () const |
Function * | getParentFunction () const |
const SymbolicExprGraph * | getParentGraph () const |
SymbolicExprGraph * | getParentGraph () |
Static Public Member Functions | |
static bool | classof (const SEGObject *N) |
Static Public Member Functions inherited from SEGSimpleSite | |
static bool | classof (const SEGObject *N) |
Static Public Member Functions inherited from SEGSiteBase | |
static bool | classof (const SEGObject *O) |
Friends | |
class | SymbolicExprGraph |
class | SymbolicExprGraphBuilder |
class | SEGSerializer |
Additional Inherited Members | |
Public Types inherited from SEGObject | |
enum | SEGObjectKind { SEGOBJK_NodeBegin, SEGOBJK_OperandBegin, SEGOBJK_ArgumentBegin, SEGOBJK_CommonArgument, SEGOBJK_VarArgument, SEGOBJK_PseudoArgument, SEGOBJK_ArgumentEnd, SEGOBJK_CallSiteOutputBegin, SEGOBJK_CallSiteCommonOutput, SEGOBJK_CallSitePseudoOutput, SEGOBJK_CallSiteOutputEnd, SEGOBJK_ReturnBegin, SEGOBJK_CommonReturn, SEGOBJK_PseudoReturn, SEGOBJK_ReturnEnd, SEGOBJK_LoadMem, SEGOBJK_StoreMem, SEGOBJK_Phi, SEGOBJK_Region, SEGOBJK_SimpleOperand, SEGOBJK_Undef, SEGOBJK_CallSitePseudoInput, SEGOBJK_CallSiteSummaryArgument, SEGOBJK_CallSiteSummaryReturn, SEGOBJK_OperandEnd, SEGOBJK_OpcodeBegin, SEGOBJK_BinaryWithIntConst, SEGOBJK_Cast, SEGOBJK_SimpleOpcode, SEGOBJK_OpcodeEnd, SEGOBJK_NodeEnd, SEGOBJK_SiteBegin, SEGOBJK_CallSite, SEGOBJK_ReturnSite, SEGOBJK_SimpleSiteBegin, SEGOBJK_GEPSite, SEGOBJK_DereferenceSite, SEGOBJK_DivSite, SEGOBJK_CmpSite, SEGOBJK_AllocSite, SEGOBJK_SimpleSiteEnd, SEGOBJK_SiteEnd } |
Protected Member Functions inherited from SEGSimpleSite | |
SEGSimpleSite (SEGObjectKind K, Instruction *U, SymbolicExprGraph *G, bool fromDisk) | |
Protected Member Functions inherited from SEGSiteBase | |
SEGSiteBase (SEGObjectKind K, Instruction *User, SymbolicExprGraph *G, bool fromDisk) | |