Static Data and Control Coupling Analysis - Archive ouverte HAL Access content directly
Conference Papers Year : 2022

Static Data and Control Coupling Analysis


All current safety norms require determining the data and control flow in the source code and making sure that it is compliant to the intended control and data flow as defined in the software architecture. In traditional static code analysis, data accesses via pointer variables and control flow by function pointer calls might be missed. Using sound static analysis based on abstract interpretation, it is possible to guarantee the absence of runtime errors that could cause memory corruption and control flow corruption. Furthermore, it is possible to guarantee that in the analysis, all data and function pointer targets are considered and that the possible data and control coupling is fully captured. In this article we propose a comprehensive methodology for statically computing a safe approximation of the data and control coupling between software components. Our approach incorporates global static data and control flow analysis, taint analysis and program slicing. It can detect critical data and control flow errors and allows to complement traditional code coverage criteria by the degree of data and control coupling covered by the testing process, helping to identify relevant previously untested scenarios. It can also demonstrate freedom of spacial interference between software components at the source code level.
Fichier principal
Vignette du fichier
erts2022_coupling.pdf (1.12 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03694546 , version 1 (13-06-2022)


  • HAL Id : hal-03694546 , version 1


Daniel Kästner, Laurent Mauborgne, Stephan Wilhelm, Christoph Mallon, Christian Ferdinand. Static Data and Control Coupling Analysis. 11th Embedded Real Time Systems European Congress (ERTS2022), Jun 2022, Toulouse, France. ⟨hal-03694546⟩


66 View
118 Download


Gmail Facebook X LinkedIn More