Key points are not available for this paper at this time.
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.
Kim et al. (Sat,) studied this question.