|
Static Value-Flow Analysis
|
#include <CallGraph.h>
Public Member Functions | |
| CallGraphNode (NodeID i, const FunObjVar *f) | |
| Constructor. | |
| const std::string & | getName () const |
| const FunObjVar * | getFunction () const |
| Get function of this call node. | |
| bool | isReachableFromProgEntry (Map< NodeID, bool > &reachableFromEntry, NodeBS &visitedNodes) const |
| Return TRUE if this function can be reached from main. | |
| virtual const std::string | toString () const |
| Public Member Functions inherited from SVF::GenericNode< CallGraphNode, CallGraphEdge > | |
| GenericNode (NodeID i, GNodeK k, const SVFType *svfType=nullptr) | |
| 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) |
| Public Member Functions inherited from SVF::SVFValue | |
| SVFValue (NodeID i, GNodeK k, const SVFType *ty=nullptr) | |
| NodeID | getId () const |
| Get ID. | |
| GNodeK | getNodeKind () const |
| Get node kind. | |
| virtual const SVFType * | getType () const |
| virtual void | setName (const std::string &nameInfo) |
| virtual void | setName (std::string &&nameInfo) |
| virtual void | setSourceLoc (const std::string &sourceCodeInfo) |
| virtual const std::string | getSourceLoc () const |
| const std::string | valueOnlyToString () const |
| const bool | hasLLVMValue () const |
Static Public Member Functions | |
| static bool | classof (const CallGraphNode *) |
| Methods for support type inquiry through isa, cast, and dyn_cast: | |
| static bool | classof (const GenericICFGNodeTy *node) |
| static bool | classof (const SVFValue *node) |
| Static Public Member Functions inherited from SVF::GenericNode< CallGraphNode, CallGraphEdge > | |
| static bool | classof (const GenericNode< CallGraphNode, CallGraphEdge > *) |
| static bool | classof (const SVFValue *) |
Private Attributes | |
| const FunObjVar * | fun |
Friends | |
| OutStream & | operator<< (OutStream &o, const CallGraphNode &node) |
| Overloading operator << for dumping ICFG node ID. | |
Definition at line 176 of file CallGraph.h.
Constructor.
Definition at line 183 of file CallGraph.h.
|
inlinestatic |
Methods for support type inquiry through isa, cast, and dyn_cast:
Definition at line 213 of file CallGraph.h.
|
inlinestatic |
Definition at line 218 of file CallGraph.h.
|
inlinestatic |
Definition at line 223 of file CallGraph.h.
|
inline |
Get function of this call node.
Definition at line 191 of file CallGraph.h.
|
virtual |
Reimplemented from SVF::SVFValue.
Definition at line 47 of file CallGraph.cpp.
| bool CallGraphNode::isReachableFromProgEntry | ( | Map< NodeID, bool > & | reachableFromEntry, |
| NodeBS & | visitedNodes ) const |
Return TRUE if this function can be reached from main.
Definition at line 95 of file CallGraph.cpp.
|
virtual |
Definition at line 82 of file CallGraph.cpp.
|
friend |
Overloading operator << for dumping ICFG node ID.
Definition at line 202 of file CallGraph.h.
|
private |
Definition at line 179 of file CallGraph.h.