2 ms·

How do you determine semantically equivalent code fragments? Is it a dynamic solution or a static solution?