traces/zziplib_patched/perturbed_good.zip.txttraces/zziplib_patched/good.zip.txttraces/zziplib_patched/evil.zip.txttraces/zziplib_patched/dir.zip.txt
37: looking for 1, False37: looking for 1, False37: looking for 1, False37: looking for 1, False
253: open(file0);253: open(file0);253: open(file0);253: open(file0);
254: looking for -1, False254: looking for -1, False254: looking for -1, False254: looking for -1, False
474: __fxstat(file0);474: __fxstat(file0);474: __fxstat(file0);474: __fxstat(file0);
129: looking for 22, False129: looking for 22, False129: looking for 22, False129: looking for 22, False
132: looking for 65536, False132: looking for 65536, False132: looking for 65536, False132: looking for 65536, False
135: looking for 512, False135: looking for 512, False135: looking for 512, False135: looking for 512, False
136: looking for 243, True136: looking for 189, True136: looking for 318, True136: looking for 252, True
137: looking for 4096, False137: looking for 4096, False137: looking for 4096, False137: looking for 4096, False
138: looking for 4096, True138: looking for 4096, True138: looking for 4096, True138: looking for 4096, True
140: looking for 243, True140: looking for 189, True140: looking for 318, True140: looking for 252, True
137/147: looking for 80, False * 42137/147: looking for 80, False * 42137/147: looking for 80, False * 42137/147: looking for 80, False * 42
151: looking for 80, True151: looking for 80, True151: looking for 80, True151: looking for 80, True
152: looking for 20, True152: looking for 20, True152: looking for 20, True152: looking for 20, True
153: looking for 80, True153: looking for 80, True153: looking for 80, True153: looking for 80, True
154: looking for 75, True154: looking for 75, True154: looking for 75, True154: looking for 75, True
155: looking for 5, True155: looking for 5, True155: looking for 5, True155: looking for 5, True
156: looking for 6, True156: looking for 6, True156: looking for 6, True156: looking for 6, True
159: looking for 243, False159: looking for 189, False159: looking for 318, False159: looking for 252, False
160: looking for 243, False160: looking for 189, False160: looking for 318, False160: looking for 252, False
173: looking for 133, False173: looking for 89, False173: looking for 154, False173: looking for 140, False
177: looking for 243, False177: looking for 189, False177: looking for 318, False177: looking for 252, False
184: looking for 1, False184: looking for 1, False184: looking for 1, False184: looking for 1, False
190: looking for 88, False190: looking for 78, False190: looking for 142, False190: looking for 90, False
191: looking for 80, True191: looking for 80, True191: looking for 80, True191: looking for 80, True
192: looking for 75, True192: looking for 75, True192: looking for 75, True192: looking for 75, True
193: looking for 1, True193: looking for 1, True193: looking for 1, True193: looking for 1, True
194: looking for 2, True194: looking for 2, True194: looking for 2, True194: looking for 2, True
195: looking for 254, False195: looking for 254, False195: looking for 254, False195: looking for 254, False
196: looking for 88, False196: looking for 78, False196: looking for 142, False196: looking for 90, False
198: looking for 88, False198: looking for 78, False198: looking for 142, False198: looking for 90, False
184: looking for 1, True184: looking for 1, True184: looking for 1, True184: looking for 1, True
185: looking for 88, False185: looking for 78, False185: looking for 142, False185: looking for 90, False
205: looking for 1, True205: looking for 1, True205: looking for 1, True205: looking for 1, True
44: looking for 2, True44: looking for 2, True44: looking for 2, True44: looking for 2, True
31: looking for 46, False * 1431: looking for 46, False * 431: looking for 46, True * 231: looking for 46, False * 16
31: looking for 46, True31: looking for 46, True31: looking for 47, True31: looking for 46, True
31: looking for 46, False * 531: looking for 46, False * 584: fprintf(file1);31: looking for 46, False * 5
34: looking for 47, False * 1934: looking for 47, False * 931: looking for 46, True * 234: looking for 47, False * 5
78: fopen(file1);78: fopen(file1);31: looking for 47, True34: looking for 47, True
282: looking for -1, False282: looking for -1, False31: looking for 46, True * 234: looking for 47, False * 6
298: lseek(file0,0,SET);298: lseek(file0,0,SET);31: looking for 47, True34: looking for 47, True
299: read(file0,30);299: read(file0,30);31: looking for 46, True * 234: looking for 47, False * 13
300: looking for 30, False300: looking for 30, False31: looking for 47, True34: looking for 47, True
301: looking for 80, True301: looking for 80, True31: looking for 46, True * 234: looking for 47, False * 13
302: looking for 75, True302: looking for 75, True31: looking for 47, True91: mkdir(first);
303: looking for 3, True303: looking for 3, True31: looking for 46, True * 292: looking for -1, False
304: looking for 4, True304: looking for 4, True31: looking for 47, True91: mkdir(first/second);
304: lseek(file0,46,CUR);304: lseek(file0,36,CUR);31: looking for 46, True * 292: looking for -1, False
305: lseek(file0,0,CUR);305: lseek(file0,0,CUR);31: looking for 47, True78: fopen(file1);
334: looking for 1024, False334: looking for 1024, False31: looking for 46, True * 2282: looking for -1, False
343: looking for 32768, True343: looking for 32768, True31: looking for 47, True298: lseek(file0,0,SET);
343: read(file0,57);343: read(file0,23);31: looking for 46, True * 2299: read(file0,30);
345: inflate();345: inflate();31: looking for 47, True300: looking for 30, False
346: looking for 1, True346: looking for 1, True31: looking for 46, True * 2301: looking for 80, True
100: fwrite(file1,264);100: fwrite(file1,95);31: looking for 47, True302: looking for 75, True
334: looking for 1024, False334: looking for 1024, False31: looking for 46, True * 2303: looking for 3, True
265: inflateEnd();265: inflateEnd();31: looking for 47, True304: looking for 4, True
54: fclose(file1);54: fclose(file1);31: looking for 46, True * 2304: lseek(file0,48,CUR);
31: looking for 47, True305: lseek(file0,0,CUR);
31: looking for 46, True * 2334: looking for 1024, False
31: looking for 47, True343: looking for 32768, True
31: looking for 46, True * 2343: read(file0,62);
31: looking for 47, True345: inflate();
31: looking for 46, True * 2346: looking for 1, True
31: looking for 47, True100: fwrite(file1,935);
31: looking for 46, True * 2334: looking for 1024, False
31: looking for 47, True265: inflateEnd();
31: looking for 46, True * 254: fclose(file1);
31: looking for 47, True
31: looking for 46, True * 2
31: looking for 47, True
31: looking for 46, True * 2
31: looking for 47, True
31: looking for 46, True * 2
31: looking for 47, True
31: looking for 46, False * 8
31: looking for 46, True
31: looking for 46, False * 5
34: looking for 47, False * 3
34: looking for 47, True
34: looking for 47, False * 13
91: mkdir(tmp);
92: looking for -1, False
78: fopen(file2);
282: looking for -1, False
298: lseek(file0,0,SET);
299: read(file0,30);
300: looking for 30, False
301: looking for 80, True
302: looking for 75, True
303: looking for 3, True
304: looking for 4, True
304: lseek(file0,100,CUR);
305: lseek(file0,0,CUR);
334: looking for 1024, False
343: looking for 32768, True
343: read(file0,24);
345: inflate();
346: looking for 1, True
100: fwrite(file2,100);
334: looking for 1024, False
265: inflateEnd();
54: fclose(file2);