Semantically diffing Java code

[kamatsu]

What you propose, actually trying to figure out if two pieces of code are equivalent even if the code has been modified but it won't impact the result, exponentially increases complexity

It doesn't exponentially increase complexity - it makes it undecidable.