Code Clone Discovery Based on Concolic Analysis