Semantic code clone detection using abstract memory states and program dependency graphs | IEEE Conference Publication | IEEE Xplore