Rose::BinaryAnalysis::DataFlow::PathAlwaysFeasible< CFG, State > Class Template Reference

Description

template<class CFG, class State>
class Rose::BinaryAnalysis::DataFlow::PathAlwaysFeasible< CFG, State >

Trivial path feasibility predicate.

This path feasibility predicate always returns true. This causes the data-flow to be path insensitive and always follow all edges when propagating states along edges.

Definition at line 246 of file DataFlow.h.

#include <Rose/BinaryAnalysis/DataFlow.h>

Public Member Functions
bool	operator() (const CFG &, const typename CFG::Edge &, const State &, const State &)

---

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

• DataFlow.h