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

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:
Inheritance graph
[legend]

Public Member Functions

virtual bool operator() (const ControlFlowGraph &, const ControlFlowGraph::ConstEdgeIterator &, size_t depth)=0
 

Constructor & Destructor Documentation

◆ ~InterproceduralPredicate()

virtual Rose::BinaryAnalysis::Partitioner2::DataFlow::InterproceduralPredicate::~InterproceduralPredicate ( )
inlinevirtual

Definition at line 132 of file Partitioner2/DataFlow.h.


The documentation for this class was generated from the following file: