Examining the effectiveness of using concolic analysis to detect code clones