Identifying the exact fixing actions of static rule violation

Hayatou Oumarou 1 Nicolas Anquetil 2 Anne Etien 2 Stéphane Ducasse 2 Dina Kolyang 1
2 RMOD - Analyses and Languages Constructs for Object-Oriented Application Evolution
Inria Lille - Nord Europe, CRIStAL - Centre de Recherche en Informatique, Signal et Automatique de Lille (CRIStAL) - UMR 9189
Abstract : —We study good programming practices expressed in rules and detected by static analysis checkers such as PMD or FindBugs. To understand how violations to these rules are corrected and whether this can be automated, we need to identify in the source code where they appear and how they were fixed. This presents some similarities with research on understanding software bugs, their causes, their fixes, and how they could be avoided. The traditional method to identify how a bug or a rule violation were fixed consists in finding the commit that contains this fix and identifying what was changed in this commit. If the commit is small, all the lines changed are ascribed to the fixing of the rule violation or the bug. However, commits are not always atomic, and several fixes and even enhancements can be mixed in a single one (a large commit). In this case, it is impossible to detect which modifications contribute to which fix. In this paper, we are proposing a method that identifies precisely the modifications that are related to the correction of a rule violation. The same method could be applied to bug fixes, providing there is a test illustrating this bug. We validate our solution on a real world system and actual rules.
Document type :
Conference papers
Complete list of metadatas

Cited literature [39 references]  Display  Hide  Download

https://hal.inria.fr/hal-01185795
Contributor : Lse Lse <>
Submitted on : Friday, August 21, 2015 - 3:18:04 PM
Last modification on : Friday, March 22, 2019 - 1:34:00 AM
Long-term archiving on : Wednesday, April 26, 2017 - 10:17:53 AM

File

Haya15a-Saner-FixingActionOfSt...
Files produced by the author(s)

Identifiers

Collections

Citation

Hayatou Oumarou, Nicolas Anquetil, Anne Etien, Stéphane Ducasse, Dina Kolyang. Identifying the exact fixing actions of static rule violation. SANER'15 : 22nd IEEE International Conference on Software Analysis, Evolution, and Reengineering, Feb 2015, Montreal, Canada. ⟨10.1109/SANER.2015.7081847⟩. ⟨hal-01185795⟩

Share

Metrics

Record views

249

Files downloads

287