ROSE 0.11.145.147
|
Predicate that decides when to use inter-procedural data-flow.
The predicate is invoked with the global CFG and a function call edge and should return true if the called function should be included into the data-flow graph. If it returns false then the graph will have a single FAKED_CALL vertex to represent the called function.
Definition at line 130 of file Partitioner2/DataFlow.h.
#include <Rose/BinaryAnalysis/Partitioner2/DataFlow.h>
Public Member Functions | |
virtual bool | operator() (const ControlFlowGraph &, const ControlFlowGraph::ConstEdgeIterator &, size_t depth)=0 |
|
inlinevirtual |
Definition at line 132 of file Partitioner2/DataFlow.h.