Description
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>
Inheritance diagram for Rose::BinaryAnalysis::Partitioner2::DataFlow::InterproceduralPredicate:
Public Member Functions | |
| virtual bool | operator() (const ControlFlowGraph &, const ControlFlowGraph::ConstEdgeIterator &, size_t depth)=0 |
The documentation for this class was generated from the following file:
