A Correct Refactoring Operation to Rename Global Variables in C Programs - Archive ouverte HAL Access content directly
Reports (Research Report) Year : 2015

A Correct Refactoring Operation to Rename Global Variables in C Programs

Abstract

Most integrated development environments are shipped with refactoring tools. However, their refactoring operations are often known to be unreliable. As a consequence, developers have to test their code after applying an automatic refactoring. In this report, we consider a refactoring operation (renaming of global variables in C), and we prove that its core implementation preserves the set of possible behaviors of transformed programs. That proof of correctness relies on the operational semantics of C provided by Compcert C in Coq. We also prove some static properties of the considered refactoring operation and we use them to find properties of some composed refactoring operations.
Fichier principal
Vignette du fichier
CohenRefactoring2015.pdf (324.25 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01248121 , version 1 (23-12-2015)

Identifiers

  • HAL Id : hal-01248121 , version 1

Cite

Julien Cohen. A Correct Refactoring Operation to Rename Global Variables in C Programs. [Research Report] LINA-University of Nantes. 2015. ⟨hal-01248121⟩
187 View
594 Download

Share

Gmail Facebook X LinkedIn More