APARTS

APARTS is about the static analysis of integer computations in programs, typically embedded programs. In particular, we aim to develop analyses that are both bit-precise, which means that the integer variables have a fixed size and can thus suffer overflow and wrap-around, and relational, which means that relationships (equations, inequations) between variables are both used and generated. A more detailed description and motivation follows... Homepage of the APARTS project... Most current WCET-analysis tools analyse the possible values of each variable separately, commonly producing an interval of possible values for each variable. However, the behaviour of the program, and thus its WCET, often depend strongly on the relationship between variable values. Ignoring such relationships can make the analysis fail or give over-estimated WCET bounds. We aim to develop computation models that find and use such relationships, typically expressed as affine constraints between several..

Primary location: Västerås Sweden