Detection of Redundant Code Using R 2 D 2

We present the R ² D ² redundancy detector. R ² D ² identifies redundant code fragments in large software systems written in Lisp. For each pair of code fragments, R ² D ² uses a combination of techniques ranging from syntax-based analysis to semantics-based analysis, that detects positive and negative evidences regarding the redundancy of the analyzed code fragments. These evidences are combined according to a well-defined model and sufficiently redundant fragments are reported to the user. R ² D ² explores several techniques and heuristics to operate within reasonable time and space bounds and is designed to be extensible.