rkosai has asked for the wisdom of the Perl Monks concerning the following question:

Hello Monks, This is a question that touches quite heavily on computing theory, but that can also be tied to Perl, semantics, and "Just Plain Cool". I was wondering if there was any way to determine how similar sections of code are. For example:
$x++; $x = $x + 1; $x += 1;
all do the same thing. Does there exist a way to identify functionally similar blocks of code, and if not, can anyone point me in the right direction on how to do this? Thanks in advance!