This module provides classes to perform static analysis and Data Flow Analyses (DFA). More...

Classes
class	otawa::dfa::Predecessor
	This iterator is used to traverse forward a CFG in an iterative DFA analysis. More...

class	otawa::dfa::Successor
	This iterator is used to traverse backward a CFG in an iterative DFA analysis. More...

class	otawa::dfa::IterativeDFA< Problem, Set, Iter >
	This class provides a generic facility to implement iterative Data Flow Analysis (DFA) as presented in "Aho, Sethi, Ullman, Compilers: Principles, Techniques, and Tools, Addison Wesley 1986". More...

Detailed Description

This module provides classes to perform static analysis and Data Flow Analyses (DFA).

This includes DFA engines:

This includes also tool classes:

Classes