Making Application Build Safer Through Static Analysis of Naming

Antoine Beugnard; Julien Mallet

Research.Publish.Connect.

*Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

*Please fill out at least one Field.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search *Please fill out at least one Field. *Value must be an number!

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search *Please fill out at least one Field.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search *Please fill out at least one Field.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Making Application Build Safer Through Static Analysis of Naming

Topics: Agile Systems Development; Software and Service Maintenance and Evolution; Software Change and Configuration Management

In Proceedings of the 19th International Conference on Evaluation of Novel Approaches to Software Engineering ENASE - Volume 1, 442-449, 2024 , Angers, France

Authors: Antoine Beugnard and Julien Mallet

Affiliation: IMT Atlantique/Lab-STICC, Brest, France

Keyword(s): Build Process, Verification, Heterogeneous Name Resolution.

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.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 3.148.117.237

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

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 - ENASE; ISBN 978-989-758-696-5; ISSN 2184-4895, SciTePress, pages 442-449. DOI: 10.5220/0012676500003687

@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 - ENASE},
year={2024},
pages={442-449},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0012676500003687},
isbn={978-989-758-696-5},
issn={2184-4895},
}

TY - CONF

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