[mejutoco]

Intuitively it makes sense, but I am not fully convinced about this. You could give it only a few register and discard invalid operations for certain registers or plain known invalid operations.

[treyd]

But that doesn't stop it from generating code that segfaults.

[mejutoco]

That is the same problem as generating python that blows up, no? (assuming it is tested in a sandbox)