Public Member Functions | List of all members
Rose::BinaryAnalysis::Partitioner2::DataFlow::InterproceduralPredicate Class Referenceabstract


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:
Inheritance graph

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: