Automating Program Transformation for Java Using Semantic Patches - Inria - Institut national de recherche en sciences et technologies du numérique
Rapport (Rapport De Recherche) Année : 2019

Automating Program Transformation for Java Using Semantic Patches

Automatisation de la transformation de programme pour Java à l’aide de correctifs sémantiques

Résumé

Developing software often requires code changes that are widespread and applied to multiple locations. There are tools for Java that allow developers to specify patterns for program matching and source-to-source transformation. However, to our knowledge, none allows for transforming code based on its control-flow context. We prototype Coccinelle4J, an extension to Coccinelle, which is a program transformation tool designed for widespread changes in C code, in order to work on Java source code. We adapt Coccinelle to be able to apply scripts written in the Semantic Patch Language (SmPL), a language provided by Coccinelle, to Java source files. As a case study, we demonstrate the utility of Coccinelle4J with the task of API migration. We show 6 semantic patches to migrate from deprecated Android API methods on several open source Android projects. We describe how SmPL can be used to express several API migrations and justify several of our design decisions.
Fichier principal
Vignette du fichier
RR-9256.pdf (866.06 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-02023368 , version 1 (18-02-2019)

Identifiants

  • HAL Id : hal-02023368 , version 1

Citer

Hong Jin Kang, Ferdian Thung, Julia L. Lawall, Gilles Muller, Lingxiao Jiang, et al.. Automating Program Transformation for Java Using Semantic Patches. [Research Report] RR-9256, Inria Paris. 2019. ⟨hal-02023368⟩
319 Consultations
610 Téléchargements

Partager

More