Re: x86 emulation bug

[Fabian Specht <f.specht@xxxxxx>]

> Thanks for the report. However, already on Andreas' report on the day before
> yesterday I was heavily inclined to ask about details you certainly have
> figured out already. I find it odd that you leave to us all re-figuring out.
> In this case, for example: Is the specific value you set %eax to relevant?
> (Probably not.) Is the specific value you set %rcx to relevant? (Probably
> not, but likely some part of it is.) Is the specific value you set %rdi to
> relevant? (Probably not, but likely some part of it is. Probably you
> setting it to 0 is also why the adjustment below is needed, and using a
> different value might permit avoiding that adjustment.) Is it relevant
> that you set EFLAGS.DF? (Quite likely.)
> 
> Any other investigation results you may have collected would likely also
> make our job easier.

I understand that. We did not actually dig that deep into the bug, so
there was not that much we could've shared to be honest. Also, we are
currently busy with a paper, so our main intention was to report the
bugs as quickly as possible and get the paper done before the deadline :)
However, I'll remember it for the next time!

Fabian