Examples of WCET and stack analysis with Bound-T

Small C program

This is a small, nonsense C program that is constructed to show the main features (and limitations) of Bound-T in a compact form. More or less the same program is used for each of the Bound-T target processors:

Valid HTML 4.01 Transitional