Making Application Build Safer Through Static Analysis of Naming

Antoine Beugnard, Julien Mallet

2024

Abstract

A lot of studies demonstrate that many builds of software fail, due to dependency issues. We make the assumption that failures are caused by the difficulty of tools to check interdependencies in a context of heterogeneity of languages. This article describes a novel approach to improving applications builds safety based on an abstract interpretation of name usage. Since application building relies on very heterogeneous resources and languages, the approach extracts what appears as a common factor: names. We reuse a name dependency approach (scope graph) already used in single language context, and adapt it to a multi-language environment. It allows to check external references and ensure the resolution of names. Thanks to an operational semantics of build operations on scope graphs, the verification can be done statically, prior to any real build run.

Paper Citation

in Harvard Style

Beugnard A. and Mallet J. (2024). Making Application Build Safer Through Static Analysis of Naming. In Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE; ISBN 978-989-758-696-5, SciTePress, pages 442-449. DOI: 10.5220/0012676500003687

in Bibtex Style

@conference{enase24,
author={Antoine Beugnard and Julien Mallet},
title={Making Application Build Safer Through Static Analysis of Naming},
booktitle={Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE},
year={2024},
pages={442-449},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012676500003687},
isbn={978-989-758-696-5},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE
TI - Making Application Build Safer Through Static Analysis of Naming
SN - 978-989-758-696-5
AU - Beugnard A.
AU - Mallet J.
PY - 2024
SP - 442
EP - 449
DO - 10.5220/0012676500003687
PB - SciTePress