A Delta-oriented Approach to Support the Safe Reuse of Black-box Code Rewriters

Abstract : The tedious process of corrective and perfective maintenance is often automated thanks to rewriting rules using tools such as Spoon or Coccinelle. These tools consider rules as black-boxes, and compose multiple rules by giving the output of a given rewriting as input to the next one. It is up to the developer to identify the right order (if it exists) among all the different rules. In this paper, we define a formal model compatible with the black-box assumption that reifies the modifications (∆s) made by each rule. Leveraging these ∆s, we propose a way to safely compose multiple rules when applied to the same program by (i) ensuring the isolated application of the different rules and (ii) yield unexpected behaviors that were silently ignored before. We assess this approach by applying rewriting rules used to fix anti-patterns existing in Android applications to external pieces of software available on GitHub.
Type de document :
Communication dans un congrès
17th International Conference on Software Reuse (ICSR'18), May 2018, Madrid, France
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.archives-ouvertes.fr/hal-01722040
Contributeur : Sébastien Mosser <>
Soumis le : vendredi 2 mars 2018 - 20:18:50
Dernière modification le : mercredi 28 mars 2018 - 08:46:02
Document(s) archivé(s) le : jeudi 31 mai 2018 - 20:08:46

Fichier

fix-interferences.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01722040, version 1

Collections

Citation

Benjamin Benni, Sébastien Mosser, Naouel Moha, Michel Riveill. A Delta-oriented Approach to Support the Safe Reuse of Black-box Code Rewriters. 17th International Conference on Software Reuse (ICSR'18), May 2018, Madrid, France. 〈hal-01722040〉

Partager

Métriques

Consultations de la notice

97

Téléchargements de fichiers

85