This document discusses a framework for detecting code clones semantically based on behavioral analysis of methods. The framework aims to identify input, output, and effect variables in void and parameter-less methods using Program Dependence Graphs (PDG). The identification process begins by collecting all methods from source code and extracting definitions of input, output, and effect from PDG analysis. Methods are then grouped based on similar definitions to identify candidates for semantic clone detection. Key challenges addressed are how to identify variables acting as input, output, and effects in void methods to allow comprehensive clone detection.