Behnam Momeni

Adding test results of input1 [in Windows] test case

digraph "Execution Trace Graph" {
label="Execution Trace Graph";
Node0 [label = "0"];
Node0x4031a538 [label = "0x4031a538; Aborted"];
Node0x40a200c8 [label = "0x40a200c8"];
Node0x414fed70 [label = "0x414fed70"];
Node0x422189e0 [label = "FunctionInvocation (calling-line=regs.rax = printf (/*\"second condition; then part\n\"*/ (const char *) (((m402014_0_32 & 0xffff) | (m402014_0_32 & 0xffff0000)) & 0xffffffff) /*0x400000*/);)"];
Node0x42be51a0 [label = "0x42be51a0"];
Node0x43161cf0 [label = "0x43161cf0"];
Node0x44f4b160 [label = "0x44f4b160"];
Node0x48636c20 [label = "0x48636c20"];
Node0x48b8c698 [label = "0x48b8c698"];
Node0x4ab25e40 [label = "0x4ab25e40"];
Node0x4d14b740 [label = "FunctionInvocation (calling-line=regs.rax = printf (/*\"first condition; then part\n\"*/ (const char *) m40200c_0_32 /*0x0*/);)"];
Node0x4dab6d78 [label = "FunctionInvocation (calling-line=regs.rax = printf (/*\"second condition; else part\n\"*/ (const char *) ((((m402018_0_32 & 0xffff00) | (m402018_0_32 & 0xff)) | ((m402018_0_32 | 0xffffff00000000) & 0xff000000)) & 0xffffffff) /*0x0*/);)"];
Node0x56c56f48 [label = "0x56c56f48"];
Node0x586f7e58 [label = "FunctionInvocation (calling-line=regs.rax = printf (/*\"first condition; else part\n\"*/ (const char *) (((m402010_0_32 & 0xff) | (m402010_0_32 & 0xffffff00)) & 0xffffffff) /*0xa0*/);)"];
Node0x5f6c0598 [label = "0x5f6c0598"];
Node0x6dc00300 [label = "FunctionInvocation (calling-line=regs.rax = printf (/*\"Usage: program <command codes>\n\"*/ (const char *) (((m402008_0_32 & 0xff) | (m402008_0_32 & 0xffffff00)) & 0xffffffff) /*0x64*/);)"];
Node0x761eb6c8 [label = "FunctionInvocation (calling-line=regs.rax = printf (/*\"first condition; else part\n\"*/ (const char *) (((m402010_0_32 & 0xff) | (m402010_0_32 & 0xffffff00)) & 0xffffffff) /*0xa0*/);)"];
Node0 -> Node0x40a200c8 [label = "((ebp_0 - 0x22cc58) & 0xffffffffffffffff)
== 0"];
Node0x40a200c8 -> Node0x414fed70 [label = "((esp_0 - 0x22cc30) & 0xffffffffffffffff)
== 0"];
Node0x414fed70 -> Node0x56c56f48 [label = "((m22cc64_0_32 - 0x22cc7c) & 0xffffffffffffffff)
== 0"];
Node0x414fed70 -> Node0x5f6c0598 [label = "((m22cc64_0_32 - 0x22cc7c) & 0xffffffffffffffff)
!= 0"];
Node0x56c56f48 -> Node0x48b8c698 [label = "signExtend_0x80_0x20 (m22cc60_0_32)
>= UINT128 (0x0, 0x0, 0x0, 0x2)"];
Node0x56c56f48 -> Node0x6dc00300 [label = "signExtend_0x80_0x20 (m22cc60_0_32)
< UINT128 (0x0, 0x0, 0x0, 0x2)"];
Node0x6dc00300 -> Node0x43161cf0 [label = ""];
Node0x48b8c698 -> Node0x4ab25e40 [label = "(((((m22cc80_0_32 & 0xffffff) | (m22cc80_0_32 & 0xff000000)) & 0xffffffff) - 0x22cca9) & 0xffffffffffffffff)
== 0"];
Node0x48b8c698 -> Node0x4031a538 [label = "(((((m22cc80_0_32 & 0xffffff) | (m22cc80_0_32 & 0xff000000)) & 0xffffffff) - 0x22cca9) & 0xffffffffffffffff)
!= 0"];
Node0x43161cf0 -> Node0x42be51a0 [label = "0x0
== 0"];
Node0x4ab25e40 -> Node0x44f4b160 [label = "signExtend_0x80_0x20 ((signExtend_0x20_0x8 (m22cca9_0_8) & 0xffffffff))
> UINT128 (0x0, 0x0, 0x0, 0x38)"];
Node0x4ab25e40 -> Node0x761eb6c8 [label = "signExtend_0x80_0x20 ((signExtend_0x20_0x8 (m22cca9_0_8) & 0xffffffff))
<= UINT128 (0x0, 0x0, 0x0, 0x38)"];
Node0x761eb6c8 -> Node0x48636c20 [label = ""];
Node0x44f4b160 -> Node0x4d14b740 [label = "signExtend_0x80_0x20 ((signExtend_0x20_0x8 (m22ccaa_0_8) & 0xffffffff))
<= UINT128 (0x0, 0x0, 0x0, 0x33)"];
Node0x4d14b740 -> Node0x48636c20 [label = ""];
Node0x44f4b160 -> Node0x586f7e58 [label = "signExtend_0x80_0x20 ((signExtend_0x20_0x8 (m22ccaa_0_8) & 0xffffffff))
> UINT128 (0x0, 0x0, 0x0, 0x33)"];
Node0x586f7e58 -> Node0x48636c20 [label = ""];
Node0x48636c20 -> Node0x422189e0 [label = "signExtend_0x80_0x20 ((signExtend_0x20_0x8 (m22ccab_0_8) & 0xffffffff))
> UINT128 (0x0, 0x0, 0x0, 0x35)"];
Node0x422189e0 -> Node0x43161cf0 [label = ""];
Node0x48636c20 -> Node0x4dab6d78 [label = "signExtend_0x80_0x20 ((signExtend_0x20_0x8 (m22ccab_0_8) & 0xffffffff))
<= UINT128 (0x0, 0x0, 0x0, 0x35)"];
Node0x4dab6d78 -> Node0x43161cf0 [label = ""];
}
rm -f /tmp/twinner/*
./obj-ia32/Twinner --input ./obj-ia32/input1.vo.out --args '916' --pin-launcher ../../../pin.exe --tool ./obj-ia32/TwinTool.dll -o tmp/twinner/unpacked.twin.c --generate-etg tmp/twinner/input1.etg.dot --record $1 --safe-functions 'printf@0x4015e4#auto' --tmpfolder tmp --analysis-endpoints 0x40124c,0x4012c2 --stack-offset 11 --verbose $2
./obj-ia32/Twinner --input ./obj-ia32/input1.vo.out --args '916' --pin-launcher ../../../pin.exe --tool ./obj-ia32/TwinTool.dll --number-of-traces 6 -o tmp/twinner/unpacked.twin.c --generate-etg tmp/twinner/input1.etg.dot --record $1 --safe-functions 'printf@0x4015e4#auto' --tmpfolder tmp --analysis-endpoints 0x40124c,0x4012c2 --stack-offset 11 --verbose $2
......