Yes, it looks like the real problems occur (as also mentioned in his post) whenever encountering self-modifying code. I wonder whether it would be possible to

Yes, it looks like the real problems occur (as also mentioned in his post) whenever encountering self-modifying code. I wonder whether it would be possible to detect and then either pattern match or manually resolve those cases of self-modifying code, in case they are few and contained to a small section of code each?