Liste des Groupes | Revenir à c theory |
HHH is an emulating termination analyzer that emulatesBut the pattern isn't "non-terminatingf", as the actual correct emulation of the exact DD that HHH is saying is non-terminating will terminate.
the x86 machine code located at the address of a function
using a fully functional x86 emulator.
When HHH recognizes a non-terminating pattern in the
execution trace of its emulated input it aborts this
emulation and returns 0.
typedef void (*ptr)();The problem is that the HHH that does to the cprrect emulation never will abort its emulation to answer, and thus fails to be a decider.
int HHH(ptr P);
int DD()
{
int Halt_Status = HHH(DD);
if (Halt_Status)
HERE: goto HERE;
return Halt_Status;
}
_DD()
[00002133] 55 push ebp ; housekeeping
[00002134] 8bec mov ebp,esp ; housekeeping
[00002136] 51 push ecx ; make space for local
[00002137] 6833210000 push 00002133 ; push DD
[0000213c] e882f4ffff call 000015c3 ; call HHH(DD)
[00002141] 83c404 add esp,+04
[00002144] 8945fc mov [ebp-04],eax
[00002147] 837dfc00 cmp dword [ebp-04],+00
[0000214b] 7402 jz 0000214f
[0000214d] ebfe jmp 0000214d
[0000214f] 8b45fc mov eax,[ebp-04]
[00002152] 8be5 mov esp,ebp
[00002154] 5d pop ebp
[00002155] c3 ret
Size in bytes:(0035) [00002155]
I challenged everyone here to provide the machine address
by machine address (AKA line by line) execution trace
of DD correctly emulated by HHH that reaches its own
"ret" instruction.
No one made any attempt to do this because they know thatThe fact that *YOU* have failed to show where the correct emulation of this exact input by HHH1 first differs from the partial emulation by HHH at the actual emulation of an instrucion, is just an admittion by your that you KNOW your claims are false, and that you are just trying to bluff your way, just proving that you are nothing but a flat out blatant liar, who may be so stupid he doesn't understand how stupid he is to insist on things that are clearly fals.\e.
this would prove that they are stupidly wrong to say that
my trace is incorrect.
Les messages affichés proviennent d'usenet.