The example of Bound-T analysis on the Bound-T web-site was updated today. The example program is changed only a little, but it is now compiled for the Intel-8051, with the SDCC compiler, and the example shows the improved graphical outputs — call graph and flow graphs — that Bound-T now generates.
The example now includes tabular output from the -table option.
Web purists may welcome the absence of HTML frames in the example.