Sun 22 - Fri 27 September 2024 Linz, Austria

Joanne Atlee, University of Waterloo, Canada

Modelling and Analysis of Code

Faced with the goal of performing a system-wide analysis on large heterogeneous systems without the benefit of a system-wide model, we sought instead to derive models from code. The result is a suite of tools for (1) extracting from code, and other software artifacts, a lightweight graphical model of the software that is sufficiently detailed to support analyses of control flows, data flows, and software dependencies; (2) expressing diverse analyses of interest; (3) analyzing relatively large software models; and (4) and visualizing the analysis results. In this talk, we present the tools as well as our experiences in applying them to open-source software systems and to automotive software components and product-lines of components.