Existing software systems contain a significant amount of
duplicated code. Such redundancy can negatively impact program cor-
rectness, since inconsistent updates to duplicated code fragments are
prone to introduce subtle bugs. This paper outlines our work-in-progress
to statically detect inconsistencies in duplicated code fragments in or-
der to find clone-related bugs. We illustrate the problem of clone related
bugs with the example of such a bug in Eclipse, outline our algorithm
for detecting inconsistencies in clones and report initial experiences from
an industrial case study conducted with the Munich Re Group.