Static Value-Flow Analysis
|
#include <DCHG.h>
Public Member Functions | |
DCHNode (const DIType *diType, NodeID i=0, GNodeK k=GNodeK::DCHNodeKd) | |
~DCHNode () | |
const DIType * | getDIType (void) const |
std::string | getName () const |
void | setFlag (CLASSATTR mask) |
Flags. More... | |
bool | hasFlag (CLASSATTR mask) const |
void | setPureAbstract () |
Attribute. More... | |
void | setMultiInheritance () |
void | setTemplate () |
void | setScalar () |
bool | isPureAbstract () const |
bool | isMultiInheritance () const |
bool | isTemplate () const |
bool | isScalar () const |
void | addTypedef (const DIDerivedType *diTypedef) |
const Set< const DIDerivedType * > & | getTypedefs (void) const |
void | setVTable (const SVFGlobalValue *vtbl) |
const SVFGlobalValue * | getVTable () const |
const std::vector< std::vector< const Function * > > & | getVfnVectors (void) const |
Returns the vector of virtual function vectors. More... | |
std::vector< const Function * > & | getVfnVector (unsigned n) |
Return the nth virtual function vector in the vtable. More... | |
Public Member Functions inherited from SVF::GenericNode< DCHNode, DCHEdge > | |
GenericNode (NodeID i, GNodeK k) | |
Constructor. More... | |
virtual | ~GenericNode () |
Destructor. More... | |
bool | hasIncomingEdge () const |
Has incoming/outgoing edge set. More... | |
EdgeType * | hasIncomingEdge (EdgeType *edge) const |
Find incoming and outgoing edges. More... | |
bool | hasOutgoingEdge () const |
EdgeType * | hasOutgoingEdge (EdgeType *edge) const |
iterator | OutEdgeBegin () |
iterators More... | |
const_iterator | OutEdgeBegin () const |
iterator | OutEdgeEnd () |
const_iterator | OutEdgeEnd () const |
iterator | InEdgeBegin () |
const_iterator | InEdgeBegin () const |
iterator | InEdgeEnd () |
const_iterator | InEdgeEnd () const |
virtual iterator | directOutEdgeBegin () |
Iterators used for SCC detection, overwrite it in child class if necessary. More... | |
virtual const_iterator | directOutEdgeBegin () const |
virtual iterator | directOutEdgeEnd () |
virtual const_iterator | directOutEdgeEnd () const |
virtual iterator | directInEdgeBegin () |
virtual const_iterator | directInEdgeBegin () const |
virtual iterator | directInEdgeEnd () |
virtual const_iterator | directInEdgeEnd () const |
bool | addIncomingEdge (EdgeType *inEdge) |
Add incoming and outgoing edges. More... | |
bool | addOutgoingEdge (EdgeType *outEdge) |
const GEdgeSetTy & | getOutEdges () const |
const GEdgeSetTy & | getInEdges () const |
u32_t | removeIncomingEdge (EdgeType *edge) |
u32_t | removeOutgoingEdge (EdgeType *edge) |
Public Member Functions inherited from SVF::SVFBaseNode | |
SVFBaseNode (NodeID i, GNodeK k, SVFType *ty=nullptr) | |
NodeID | getId () const |
Get ID. More... | |
GNodeK | getNodeKind () const |
Get node kind. More... | |
virtual const SVFType * | getType () const |
virtual void | setSourceLoc (const std::string &sourceCodeInfo) |
virtual const std::string | getSourceLoc () const |
const std::string | valueOnlyToString () const |
Private Attributes | |
const DIType * | diType |
Type of this node. More... | |
Set< const DIDerivedType * > | typedefs |
Typedefs which map to this type. More... | |
const SVFGlobalValue * | vtable |
std::string | typeName |
size_t | flags |
std::vector< const Function * > | primaryVTable |
The virtual functions which this class actually defines/overrides. More... | |
std::vector< std::vector< const Function * > > | vfnVectors |
Additional Inherited Members | |
Static Public Member Functions inherited from SVF::GenericNode< DCHNode, DCHEdge > | |
static bool | classof (const GenericNode< DCHNode, DCHEdge > *) |
static bool | classof (const SVFBaseNode *) |
Static Protected Member Functions inherited from SVF::SVFBaseNode | |
static bool | isICFGNodeKinds (GNodeK n) |
Helper functions to check node kinds. More... | |
static bool | isInterICFGNodeKind (GNodeK n) |
static bool | isSVFVarKind (GNodeK n) |
static bool | isValVarKinds (GNodeK n) |
static bool | isObjVarKinds (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) |
Protected Attributes inherited from SVF::SVFBaseNode | |
NodeID | id |
Node ID. More... | |
GNodeK | nodeKind |
Node kind. More... | |
const SVFType * | type |
SVF type. More... | |
std::string | sourceLoc |
Source code information of this value. More... | |
typedef std::vector<const Function*> SVF::DCHNode::FuncVector |
|
inline |
Definition at line 154 of file DCHG.h.
|
inline |
|
inline |
|
inline |
|
inline |
Return the nth virtual function vector in the vtable.
Definition at line 181 of file DCHG.h.
|
inline |
Returns the vector of virtual function vectors.
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
private |
|
private |
|
private |
|
private |
|
private |
|
private |