MeCC: memory comparison-based clone detector

In this paper, we propose a new semantic clone detection technique by comparing programs' abstract memory states, which are computed by a semantic-based static analyzer. Our experimental study using three large-scale open source projects shows that our technique can detect semantic clones that...

Full description

Saved in:
Bibliographic Details
Main Authors: Kim, Heejung, Jung, Yungbum, Kim, Sunghun, Yi, Kwankeun
Format: Conference Proceeding
Language:English
Subjects:
abstract interpretation
clone detection
Cloning
Detectors
Educational institutions
Reactive power
Semantics
Software
Software and its engineering > Software creation and management > Software post-development issues > Software reverse engineering
software maintenance
static analysis
Syntactics
Theory of computation > Semantics and reasoning > Program reasoning > Program analysis
Theory of computation > Semantics and reasoning > Program semantics
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:In this paper, we propose a new semantic clone detection technique by comparing programs' abstract memory states, which are computed by a semantic-based static analyzer. Our experimental study using three large-scale open source projects shows that our technique can detect semantic clones that existing syntactic- or semantic-based clone detectors miss. Our technique can help developers identify inconsistent clone changes, find refactoring candidates, and understand software evolution related to semantic clones.
ISSN:0270-5257
1558-1225
DOI:10.1145/1985793.1985835