OTAWA Manual
H. Cassé
,
C. Rochange
,
C. Ballabriga
Content
1 Building OTAWA
2 Computing a WCET
3 Writing an OTAWA Application
4 Control Flow Graphs
5 Property Work
6 Code Processors
7 Features
8 Using ELM
8.1 Strings
8.2 Streams
8.3 Data Collections
9 Performing Iterative Data Flow Analysis
10 Using Abstract Interpretation
11 References
12 Architecture Formats
8 Using ELM
8.1 Strings
8.2 Streams
8.3 Data Collections