Export Formats

Like Cascade, Clepsydra can produce control flow trees in SVG format for highly readable analysis results that mimic the original source code, as shown in Figure 4.7.

Figure 4.7.  Clepsydra can generate SVG diagrams of control flow trees, where each node is “badged” with its worst-case cycle time.

Diagram of control flow with WCET

In addition, Clepsydra can export control flow graphs in DOT, GML, and GraphML formats. Currently, however, only the DOT format includes WCET information; the other output formats are identical to Cascade's.