|
| | ConstantDataObjVar (const SVFValue *val, NodeID i, ObjTypeInfo *ti, PNODEK ty=ConstantDataObjNode) |
| | Constructor.
|
| |
| virtual bool | isConstDataOrAggData () const |
| |
| virtual bool | isConstDataOrAggDataButNotNullPtr () const |
| |
| virtual const std::string | toString () const |
| |
| | BaseObjVar (const SVFValue *val, NodeID i, ObjTypeInfo *ti, PNODEK ty=BaseObjNode) |
| | Constructor.
|
| |
| virtual const BaseObjVar * | getBaseMemObj () const |
| |
| const ICFGNode * | getICFGNode () const |
| | Get the ICFGNode related to the creation of this object.
|
| |
| const std::string | getValueName () const |
| | Return name of a LLVM value.
|
| |
| SymID | getId () const |
| | Get the memory object id.
|
| |
| const SVFType * | getType () const |
| | Get obj type.
|
| |
| u32_t | getNumOfElements () const |
| | Get the number of elements of this object.
|
| |
| void | setNumOfElements (u32_t num) |
| | Set the number of elements of this object.
|
| |
| u32_t | getMaxFieldOffsetLimit () const |
| | Get max field offset limit.
|
| |
| bool | isFieldInsensitive () const |
| | Return true if its field limit is 0.
|
| |
| void | setFieldInsensitive () |
| | Set the memory object to be field insensitive.
|
| |
| void | setFieldSensitive () |
| | Set the memory object to be field sensitive (up to max field limit)
|
| |
| bool | isBlackHoleObj () const |
| | Whether it is a black hole object.
|
| |
| u32_t | getByteSizeOfObj () const |
| | Get the byte size of this object.
|
| |
| bool | isConstantByteSize () const |
| | Check if byte size is a const value.
|
| |
| bool | isFunction () const |
| | object attributes methods
|
| |
| bool | isGlobalObj () const |
| |
| bool | isStaticObj () const |
| |
| bool | isStack () const |
| |
| bool | isHeap () const |
| |
| bool | isStruct () const |
| |
| bool | isArray () const |
| |
| bool | isVarStruct () const |
| |
| bool | isVarArray () const |
| |
| bool | isConstantStruct () const |
| |
| bool | isConstantArray () const |
| |
| bool | isConstDataOrConstGlobal () const |
| |
| void | destroy () |
| | Clean up memory.
|
| |
| | SVFVar (const SVFValue *val, NodeID i, PNODEK k) |
| | Constructor.
|
| |
| virtual | ~SVFVar () |
| | Destructor.
|
| |
| const SVFValue * | getValue () const |
| | Get/has methods of the components.
|
| |
| bool | hasValue () const |
| |
| virtual bool | isPointer () const |
| | Whether it is a pointer.
|
| |
| virtual bool | isIsolatedNode () const |
| | Whether this is an isolated node on the SVFIR graph.
|
| |
| virtual const SVFFunction * | getFunction () const |
| |
| SVFStmt::SVFStmtSetTy & | getIncomingEdges (SVFStmt::PEDGEK kind) |
| | Get incoming SVFIR statements (edges)
|
| |
| SVFStmt::SVFStmtSetTy & | getOutgoingEdges (SVFStmt::PEDGEK kind) |
| | Get outgoing SVFIR statements (edges)
|
| |
| bool | hasIncomingEdges (SVFStmt::PEDGEK kind) const |
| | Has incoming SVFIR statements (edges)
|
| |
| bool | hasOutgoingEdges (SVFStmt::PEDGEK kind) const |
| | Has outgoing SVFIR statements (edges)
|
| |
| SVFStmt::SVFStmtSetTy::iterator | getIncomingEdgesBegin (SVFStmt::PEDGEK kind) const |
| | Get incoming SVFStmt iterator.
|
| |
| SVFStmt::SVFStmtSetTy::iterator | getIncomingEdgesEnd (SVFStmt::PEDGEK kind) const |
| | Get incoming SVFStmt iterator.
|
| |
| SVFStmt::SVFStmtSetTy::iterator | getOutgoingEdgesBegin (SVFStmt::PEDGEK kind) const |
| | Get outgoing SVFStmt iterator.
|
| |
| SVFStmt::SVFStmtSetTy::iterator | getOutgoingEdgesEnd (SVFStmt::PEDGEK kind) const |
| | Get outgoing SVFStmt iterator.
|
| |
| virtual bool | ptrInUncalledFunction () const |
| |
| void | dump () const |
| | Dump to console for debugging.
|
| |
| | GenericNode (NodeID i, GNodeK k) |
| | Constructor.
|
| |
| virtual | ~GenericNode () |
| | Destructor.
|
| |
| bool | hasIncomingEdge () const |
| | Has incoming/outgoing edge set.
|
| |
| bool | hasOutgoingEdge () const |
| |
| iterator | OutEdgeBegin () |
| | iterators
|
| |
| iterator | OutEdgeEnd () |
| |
| iterator | InEdgeBegin () |
| |
| iterator | InEdgeEnd () |
| |
| const_iterator | OutEdgeBegin () const |
| |
| const_iterator | OutEdgeEnd () const |
| |
| const_iterator | InEdgeBegin () const |
| |
| const_iterator | InEdgeEnd () const |
| |
| virtual iterator | directOutEdgeBegin () |
| | Iterators used for SCC detection, overwrite it in child class if necessary.
|
| |
| virtual iterator | directOutEdgeEnd () |
| |
| virtual iterator | directInEdgeBegin () |
| |
| virtual iterator | directInEdgeEnd () |
| |
| virtual const_iterator | directOutEdgeBegin () const |
| |
| virtual const_iterator | directOutEdgeEnd () const |
| |
| virtual const_iterator | directInEdgeBegin () const |
| |
| virtual const_iterator | directInEdgeEnd () const |
| |
| bool | addIncomingEdge (EdgeType *inEdge) |
| | Add incoming and outgoing edges.
|
| |
| bool | addOutgoingEdge (EdgeType *outEdge) |
| |
| EdgeType * | hasIncomingEdge (EdgeType *edge) const |
| | Find incoming and outgoing edges.
|
| |
| EdgeType * | hasOutgoingEdge (EdgeType *edge) const |
| |
| const GEdgeSetTy & | getOutEdges () const |
| |
| const GEdgeSetTy & | getInEdges () const |
| |
| u32_t | removeIncomingEdge (EdgeType *edge) |
| |
| u32_t | removeOutgoingEdge (EdgeType *edge) |
| |
| | SVFBaseNode (NodeID i, GNodeK k, SVFType *ty=nullptr) |
| |
| NodeID | getId () const |
| | Get ID.
|
| |
| GNodeK | getNodeKind () const |
| | Get node kind.
|
| |
| virtual void | setName (const std::string &nameInfo) |
| |
| virtual void | setName (std::string &&nameInfo) |
| |
| virtual const std::string & | getName () const |
| |
| virtual void | setSourceLoc (const std::string &sourceCodeInfo) |
| |
| virtual const std::string | getSourceLoc () const |
| |
| const std::string | valueOnlyToString () const |
| |
|
| typedef GNodeK | PNODEK |
| |
| typedef s64_t | GEdgeKind |
| |
| typedef NodeTy | NodeType |
| |
| typedef EdgeTy | EdgeType |
| |
| typedef OrderedSet< EdgeType *, typename EdgeType::equalGEdge > | GEdgeSetTy |
| | Edge kind.
|
| |
| typedef GEdgeSetTy::iterator | iterator |
| |
| typedef GEdgeSetTy::const_iterator | const_iterator |
| |
| enum | GNodeK {
IntraBlock
, GlobalBlock
, FunEntryBlock
, FunExitBlock
,
FunCallBlock
, FunRetBlock
, ValNode
, ArgNode
,
FunValNode
, GepValNode
, RetNode
, VarargNode
,
GlobalValNode
, ConstantAggValNode
, ConstantDataValNode
, BlackHoleNode
,
ConstantFPValNode
, ConstantIntValNode
, ConstantNullptrValNode
, DummyValNode
,
ObjNode
, GepObjNode
, BaseObjNode
, FunObjNode
,
HeapObjNode
, StackObjNode
, GlobalObjNode
, ConstantAggObjNode
,
ConstantDataObjNode
, ConstantFPObjNode
, ConstantIntObjNode
, ConstantNullptrObjNode
,
DummyObjNode
, Cmp
, BinaryOp
, UnaryOp
,
Branch
, DummyVProp
, NPtr
, FRet
,
ARet
, AParm
, FParm
, Addr
,
Copy
, Gep
, Store
, Load
,
TPhi
, TIntraPhi
, TInterPhi
, FPIN
,
FPOUT
, APIN
, APOUT
, MPhi
,
MIntraPhi
, MInterPhi
, CallNodeKd
, CDNodeKd
,
CFLNodeKd
, CHNodeKd
, ConstraintNodeKd
, TCTNodeKd
,
DCHNodeKd
, OtherKd
} |
| |
| static bool | isICFGNodeKinds (GNodeK n) |
| | Helper functions to check node kinds.
|
| |
| static bool | isInterICFGNodeKind (GNodeK n) |
| |
| static bool | isSVFVarKind (GNodeK n) |
| |
| static bool | isValVarKinds (GNodeK n) |
| |
| static bool | isConstantDataValVar (GNodeK n) |
| |
| static bool | isObjVarKinds (GNodeK n) |
| |
| static bool | isBaseObjVarKinds (GNodeK n) |
| |
| static bool | isConstantDataObjVarKinds (GNodeK n) |
| |
| static bool | isVFGNodeKinds (GNodeK n) |
| |
| static bool | isArgumentVFGNodeKinds (GNodeK n) |
| |
| static bool | isStmtVFGNodeKinds (GNodeK n) |
| |
| static bool | isPHIVFGNodeKinds (GNodeK n) |
| |
| static bool | isMRSVFGNodeKinds (GNodeK n) |
| |
| static bool | isMSSAPHISVFGNodeKinds (GNodeK n) |
| |
| const SVFValue * | value |
| | value of this SVFIR node
|
| |
| SVFStmt::KindToSVFStmtMapTy | InEdgeKindToSetMap |
| |
| SVFStmt::KindToSVFStmtMapTy | OutEdgeKindToSetMap |
| |
| bool | isPtr |
| |
| const SVFFunction * | func |
| | whether it is a pointer (top-level or address-taken)
|
| |
| NodeID | id |
| | Node ID.
|
| |
| GNodeK | nodeKind |
| | Node kind.
|
| |
| const SVFType * | type |
| | SVF type.
|
| |
| std::string | name |
| |
| std::string | sourceLoc |
| | Source code information of this value.
|
| |
Definition at line 1569 of file SVFVariables.h.
| virtual bool SVF::ConstantDataObjVar::isConstDataOrAggDataButNotNullPtr |
( |
| ) |
const |
|
inlinevirtual |
Protected Member Functions inherited from SVF::BaseObjVar