Automated Generalization and Refinement of Code Templates with Ekeko/X

Abstract

Code templates are an intuitive means to specify source code snippets of interest, such as all instances of a bug, groups of snippets that need to be refactored or transformed, or instances of design patterns. While intuitive, it is not always straightforward to write a template that produces only the desired matches. A template could produce either more snippets than desired, or too few. To assist the users of EKEKO/X, our template-based search and transformation tool for Java, we have extended it with two components: The first is a suite of mutation operators that simplifies the process of modifying templates. The second is a system that can automatically suggest a sequence of mutations to a given template, such that it matches only with a set of desired snippets. In this tool paper, we highlight the key design decisions in implementing these two components of EKEKO/X, and demonstrate their use by walking through an example sequence of mutations suggested by the system.

AspectJ code analysis and verification with GASR

“…The .QL language [49] is powering a commercial quality assessment tool suite that computes metrics and violations of coding rules [50]. Ekeko [31] powers academic prototypes for tracing [51] and automating [52,53] changes to source code, and has been used in a large corpus study about the maintenance of automated functional tests [54]. Soul [29] powers, among others, a tool for enforcing design regularities in code [55] or for performing annotation-aware refactorings [56].…”