Value-based program characterization and its application to software plagiarism detection | Synapse