Download Bound-T User Manual - Bound

Tables
Table 1: Stable and unstable stacks..................................................................................................17
Table 2: Arithmetic model of bitwise Boolean operations.................................................................21
Table 3: Command­line options........................................................................................................32
Table 4: Options for all drawings......................................................................................................39
Table 5: Options for call­graph drawings..........................................................................................39
Table 6: Options for choosing subprograms for flow­graph drawings...............................................39
Table 7: Options for choosing the flow­graphs to be drawn.............................................................40
Table 8: Options for flow­graph drawings........................................................................................40
Table 9: Options for the constant­propagation phase.......................................................................40
Table 10: File names for auxiliary program files...............................................................................41
Table 11: Options for detailed output...............................................................................................41
Table 12: Options for tracing............................................................................................................42
Table 13: Options for warnings.........................................................................................................44
Table 14: Options for virtual function calls.......................................................................................45
Table 15: Basic output fields.............................................................................................................47
Table 16: Basic output formats.........................................................................................................49
Table 17: Tabular output example....................................................................................................60
Table 18: Warning messages.............................................................................................................77
Table 19: Error messages..................................................................................................................89
Figures
Figure 1: Inputs and outputs..............................................................................................................3
Figure 2: Call­graph for example of tabular output..........................................................................59
Figure 3: Call­graph of the tabular­output example.........................................................................61
Figure 4: Example non­recursive call graph......................................................................................72
Figure 5: Example graph of execution bounds..................................................................................73
Figure 6: Example recursive call graph.............................................................................................74
Figure 7: Example control­flow graph..............................................................................................75
Figure 8: Example summary control­flow graph...............................................................................76
v