traces/zip/perturbed_good.zip.txt	traces/zip/good.zip.txt	traces/zip/evil.zip.txt	traces/zip/dir.zip.txt
1664: looking for 32767, False	1664: looking for 32767, False	1664: looking for 32767, False	1664: looking for 32767, False
905: fopen(file0);	905: fopen(file0);	905: fopen(file0);	905: fopen(file0);
907: fseek(file0,0,END);	907: fseek(file0,0,END);	907: fseek(file0,0,END);	907: fseek(file0,0,END);
910: ftell(file0);	910: ftell(file0);	910: ftell(file0);	910: ftell(file0);
788: looking for 22, False	788: looking for 22, False	788: looking for 22, False	788: looking for 22, False
917: ftell(file0);	917: ftell(file0);	917: ftell(file0);	917: ftell(file0);
920: fseek(file0,0,SET);	920: fseek(file0,0,SET);	920: fseek(file0,0,SET);	920: fseek(file0,0,SET);
922: fread(file0,243);	922: fread(file0,189);	922: fread(file0,318);	922: fread(file0,252);
791: looking for 243, True	791: looking for 189, True	791: looking for 318, True	791: looking for 252, True
793: looking for 101010256, False * 18	793: looking for 101010256, False * 18	793: looking for 101010256, False * 18	793: looking for 101010256, False * 18
793: looking for 101010256, True	793: looking for 101010256, True	793: looking for 101010256, True	793: looking for 101010256, True
917: ftell(file0);	917: ftell(file0);	917: ftell(file0);	917: ftell(file0);
919: looking for 221, False	919: looking for 167, False	919: looking for 296, False	919: looking for 230, False
920: fseek(file0,221,SET);	920: fseek(file0,167,SET);	920: fseek(file0,296,SET);	920: fseek(file0,230,SET);
922: fread(file0,22);	922: fread(file0,22);	922: fread(file0,22);	922: fread(file0,22);
798: looking for 22, True	798: looking for 22, True	798: looking for 22, True	798: looking for 22, True
799: looking for 101010256, True	799: looking for 101010256, True	799: looking for 101010256, True	799: looking for 101010256, True
800: looking for 1, True	800: looking for 1, True	800: looking for 1, True	800: looking for 1, True
804: looking for 46, False	804: looking for 46, False	804: looking for 46, False	804: looking for 46, False
805: looking for 243, False	805: looking for 189, False	805: looking for 318, False	805: looking for 252, False
836: looking for 88, False	836: looking for 78, False	836: looking for 142, False	836: looking for 90, False
836: looking for 1, False * 2	836: looking for 1, False * 2	836: looking for 1, False * 2	836: looking for 1, False * 2
917: ftell(file0);	917: ftell(file0);	917: ftell(file0);	917: ftell(file0);
919: looking for 133, False	919: looking for 89, False	919: looking for 154, False	919: looking for 140, False
920: fseek(file0,133,SET);	920: fseek(file0,89,SET);	920: fseek(file0,154,SET);	920: fseek(file0,140,SET);
922: fread(file0,88);	922: fread(file0,78);	922: fread(file0,142);	922: fread(file0,90);
817: looking for 88, True	817: looking for 78, True	817: looking for 142, True	817: looking for 90, True
818: looking for 1, True	818: looking for 1, True	818: looking for 1, True	818: looking for 1, True
819: looking for 46, False	819: looking for 46, False	819: looking for 46, False	819: looking for 46, False
820: looking for 33639248, True	820: looking for 33639248, True	820: looking for 33639248, True	820: looking for 33639248, True
826: looking for -1, False	826: looking for -1, False	826: looking for -1, False	826: looking for -1, False
827: looking for -1, False	827: looking for -1, False	827: looking for -1, False	827: looking for -1, False
830: looking for 243, False	830: looking for 189, False	830: looking for 318, False	830: looking for 252, False
831: looking for 88, False	831: looking for 78, False	831: looking for 142, False	831: looking for 90, False
818: looking for 1, False	818: looking for 1, False	818: looking for 1, False	818: looking for 1, False
1668: looking for 47, False	1668: looking for 47, False	1668: looking for 47, False	1668: looking for 47, False
1670: looking for 1, True	1670: looking for 1, True	1670: looking for 1, True	1670: looking for 1, True
939: looking for 1, False	939: looking for 1, False	939: looking for 1, False	939: looking for 1, False
940: looking for 1, True	940: looking for 1, True	940: looking for 1, True	940: looking for 1, True
944: looking for 259, True	944: looking for 259, True	944: looking for 259, True	944: looking for 259, True
945: looking for 255, True	945: looking for 255, True	945: looking for 255, True	945: looking for 255, True
1673: strncpy();	1673: strncpy();	1673: strncpy();	1673: strncpy();
1696: looking for 47, False	1696: looking for 47, False	1696: looking for 47, False	1696: looking for 47, False
1696: looking for 47, True	1696: looking for 47, True	1696: looking for 47, True	1696: looking for 47, True
1697: mkdir(.);	1697: mkdir(.);	1697: mkdir(.);	1697: mkdir(.);
1698: looking for -1, True	1698: looking for -1, True	1698: looking for -1, True	1698: looking for -1, True
1700: looking for 17, True	1700: looking for 17, True	1700: looking for 17, True	1700: looking for 17, True
1696: looking for 47, False * 18	1696: looking for 47, False * 8	1696: looking for 47, False * 2	1696: looking for 47, False * 5
1676: looking for 3, True	1676: looking for 3, True	1696: looking for 47, True	1696: looking for 47, True
931: looking for 1, False	931: looking for 1, False	1697: mkdir(./..);	1697: mkdir(./first);
932: looking for 1, True	932: looking for 1, True	1698: looking for -1, True	1698: looking for -1, False
935: looking for 47, False	935: looking for 47, False	1700: looking for 17, True	1696: looking for 47, False * 6
939: looking for 1, False	939: looking for 1, False	1696: looking for 47, False * 2	1696: looking for 47, True
940: looking for 1, True	940: looking for 1, True	1696: looking for 47, True	1697: mkdir(./first/second);
944: looking for 259, True	944: looking for 259, True	1697: mkdir(./../..);	1698: looking for -1, False
945: looking for 255, True	945: looking for 255, True	1698: looking for -1, True	1696: looking for 47, False * 7
1116: fopen(file1);	1116: fopen(file1);	1700: looking for 17, True	1676: looking for 3, True
939: looking for 1, False	939: looking for 1, False	1696: looking for 47, False * 2	931: looking for 1, False
940: looking for 1, True	940: looking for 1, True	1696: looking for 47, True	932: looking for 1, True
944: looking for 259, True	944: looking for 259, True	1697: mkdir(./../../..);	935: looking for 47, False
945: looking for 255, True	945: looking for 255, True	1698: looking for -1, True	939: looking for 1, False
931: looking for 1, False	931: looking for 1, False	1700: looking for 17, True	940: looking for 1, True
932: looking for 1, True	932: looking for 1, True	1696: looking for 47, False * 2	944: looking for 259, True
935: looking for 47, False	935: looking for 47, False	1696: looking for 47, True	945: looking for 255, True
1076: looking for 8, True	1076: looking for 8, True	1697: mkdir(./../../../..);	1116: fopen(file1);
917: ftell(file0);	917: ftell(file0);	1698: looking for -1, True	939: looking for 1, False
920: fseek(file0,0,SET);	920: fseek(file0,0,SET);	1700: looking for 17, True	940: looking for 1, True
922: fread(file0,30);	922: fread(file0,30);	1696: looking for 47, False * 2	944: looking for 259, True
1077: looking for 30, True	1077: looking for 30, True	1696: looking for 47, True	945: looking for 255, True
1078: looking for 67324752, True	1078: looking for 67324752, True	1697: mkdir(./../../../../..);	931: looking for 1, False
1079: looking for 243, False	1079: looking for 189, False	1698: looking for -1, True	932: looking for 1, True
1081: looking for 65536, True	1081: looking for 65536, True	1700: looking for 17, True	935: looking for 47, False
1098: looking for 57, False	1098: looking for 23, False	1696: looking for 47, False * 2	1076: looking for 8, True
917: ftell(file0);	917: ftell(file0);	1696: looking for 47, True	917: ftell(file0);
919: looking for 76, False	919: looking for 66, False	1697: mkdir(./../../../../../..);	920: fseek(file0,0,SET);
920: fseek(file0,76,SET);	920: fseek(file0,66,SET);	1698: looking for -1, True	922: fread(file0,30);
922: fread(file0,57);	922: fread(file0,23);	1700: looking for 17, True	1077: looking for 30, True
1099: looking for 57, True	1099: looking for 23, True	1696: looking for 47, False * 2	1078: looking for 67324752, True
492-684: tinfl_decompress() * 1555	492-684: tinfl_decompress() * 1409	1696: looking for 47, True	1079: looking for 252, False
1123: fwrite(file1,264);	1123: fwrite(file1,95);	1697: mkdir(./../../../../../../..);	1081: looking for 65536, True
1103: looking for 264, True	1103: looking for 95, True	1698: looking for -1, True	1098: looking for 62, False
1105: looking for 264, False	1105: looking for 95, False	1700: looking for 17, True	917: ftell(file0);
1107: looking for 264, True	1107: looking for 95, True	1696: looking for 47, False * 2	919: looking for 78, False
1108: looking for -131580593, True	1108: looking for -1468116568, True	1696: looking for 47, True	920: fseek(file0,78,SET);
1119: fclose(file1);	1119: fclose(file1);	1697: mkdir(./../../../../../../../..);	922: fread(file0,62);
1120: looking for -1, False	1120: looking for -1, False	1698: looking for -1, True	1099: looking for 62, True
1124: utime(file1);	1124: utime(file1);	1700: looking for 17, True	492-684: tinfl_decompress() * 1824
1689: chmod(file1);	1689: chmod(file1);	1696: looking for 47, False * 2	1123: fwrite(file1,935);
1670: looking for 1, False	1670: looking for 1, False	1696: looking for 47, True	1103: looking for 935, True
895: looking for 1, True	895: looking for 1, True	1697: mkdir(./../../../../../../../../..);	1105: looking for 935, False
897: fclose(file0);	897: fclose(file0);	1698: looking for -1, True	1107: looking for 935, True
		1700: looking for 17, True	1108: looking for 1443904372, True
		1696: looking for 47, False * 2	1119: fclose(file1);
		1696: looking for 47, True	1120: looking for -1, False
		1697: mkdir(./../../../../../../../../../..);	1124: utime(file1);
		1698: looking for -1, True	1689: chmod(file1);
		1700: looking for 17, True	1670: looking for 1, False
		1696: looking for 47, False * 2	895: looking for 1, True
		1696: looking for 47, True	897: fclose(file0);
		1697: mkdir(./../../../../../../../../../../..);
		1698: looking for -1, True
		1700: looking for 17, True
		1696: looking for 47, False * 2
		1696: looking for 47, True
		1697: mkdir(./../../../../../../../../../../../..);
		1698: looking for -1, True
		1700: looking for 17, True
		1696: looking for 47, False * 2
		1696: looking for 47, True
		1697: mkdir(./../../../../../../../../../../../../..);
		1698: looking for -1, True
		1700: looking for 17, True
		1696: looking for 47, False * 2
		1696: looking for 47, True
		1697: mkdir(./../../../../../../../../../../../../../..);
		1698: looking for -1, True
		1700: looking for 17, True
		1696: looking for 47, False * 2
		1696: looking for 47, True
		1697: mkdir(./../../../../../../../../../../../../../../..);
		1698: looking for -1, True
		1700: looking for 17, True
		1696: looking for 47, False * 2
		1696: looking for 47, True
		1697: mkdir(./../../../../../../../../../../../../../../../..);
		1698: looking for -1, True
		1700: looking for 17, True
		1696: looking for 47, False * 2
		1696: looking for 47, True
		1697: mkdir(./../../../../../../../../../../../../../../../../..);
		1698: looking for -1, True
		1700: looking for 17, True
		1696: looking for 47, False * 2
		1696: looking for 47, True
		1697: mkdir(./../../../../../../../../../../../../../../../../../..);
		1698: looking for -1, True
		1700: looking for 17, True
		1696: looking for 47, False * 2
		1696: looking for 47, True
		1697: mkdir(./../../../../../../../../../../../../../../../../../../..);
		1698: looking for -1, True
		1700: looking for 17, True
		1696: looking for 47, False * 2
		1696: looking for 47, True
		1697: mkdir(./../../../../../../../../../../../../../../../../../../../..);
		1698: looking for -1, True
		1700: looking for 17, True
		1696: looking for 47, False * 3
		1696: looking for 47, True
		1697: mkdir(./../../../../../../../../../../../../../../../../../../../../tmp);
		1698: looking for -1, True
		1700: looking for 17, True
		1696: looking for 47, False * 8
		1676: looking for 3, True
		931: looking for 1, False
		932: looking for 1, True
		935: looking for 47, False
		939: looking for 1, False
		940: looking for 1, True
		944: looking for 259, True
		945: looking for 255, True
		1116: fopen(file1);
		939: looking for 1, False
		940: looking for 1, True
		944: looking for 259, True
		945: looking for 255, True
		931: looking for 1, False
		932: looking for 1, True
		935: looking for 47, False
		1076: looking for 8, True
		917: ftell(file0);
		920: fseek(file0,0,SET);
		922: fread(file0,30);
		1077: looking for 30, True
		1078: looking for 67324752, True
		1079: looking for 318, False
		1081: looking for 65536, True
		1098: looking for 24, False
		917: ftell(file0);
		919: looking for 130, False
		920: fseek(file0,130,SET);
		922: fread(file0,24);
		1099: looking for 24, True
		492-684: tinfl_decompress() * 1422
		1123: fwrite(file1,100);
		1103: looking for 100, True
		1105: looking for 100, False
		1107: looking for 100, True
		1108: looking for 1574816663, True
		1119: fclose(file1);
		1120: looking for -1, False
		1124: utime(file1);
		1689: chmod(file1);
		1670: looking for 1, False
		895: looking for 1, True
		897: fclose(file0);