Scalable detection of semantic clones
Interprocedural slicing using dependence graphs