traces/zziplib_patched/perturbed_good.zip.txt | traces/zziplib_patched/good.zip.txt | traces/zziplib_patched/evil.zip.txt | traces/zziplib_patched/dir.zip.txt |
---|---|---|---|

37: looking for 1, False | 37: looking for 1, False | 37: looking for 1, False | 37: looking for 1, False |

253: open(file0); | 253: open(file0); | 253: open(file0); | 253: open(file0); |

254: looking for -1, False | 254: looking for -1, False | 254: looking for -1, False | 254: looking for -1, False |

474: __fxstat(file0); | 474: __fxstat(file0); | 474: __fxstat(file0); | 474: __fxstat(file0); |

129: looking for 22, False | 129: looking for 22, False | 129: looking for 22, False | 129: looking for 22, False |

132: looking for 65536, False | 132: looking for 65536, False | 132: looking for 65536, False | 132: looking for 65536, False |

135: looking for 512, False | 135: looking for 512, False | 135: looking for 512, False | 135: looking for 512, False |

136: looking for 243, True | 136: looking for 189, True | 136: looking for 318, True | 136: looking for 252, True |

137: looking for 4096, False | 137: looking for 4096, False | 137: looking for 4096, False | 137: looking for 4096, False |

138: looking for 4096, True | 138: looking for 4096, True | 138: looking for 4096, True | 138: looking for 4096, True |

140: looking for 243, True | 140: looking for 189, True | 140: looking for 318, True | 140: looking for 252, True |

137/147: looking for 80, False * 42 | 137/147: looking for 80, False * 42 | 137/147: looking for 80, False * 42 | 137/147: looking for 80, False * 42 |

151: looking for 80, True | 151: looking for 80, True | 151: looking for 80, True | 151: looking for 80, True |

152: looking for 20, True | 152: looking for 20, True | 152: looking for 20, True | 152: looking for 20, True |

153: looking for 80, True | 153: looking for 80, True | 153: looking for 80, True | 153: looking for 80, True |

154: looking for 75, True | 154: looking for 75, True | 154: looking for 75, True | 154: looking for 75, True |

155: looking for 5, True | 155: looking for 5, True | 155: looking for 5, True | 155: looking for 5, True |

156: looking for 6, True | 156: looking for 6, True | 156: looking for 6, True | 156: looking for 6, True |

159: looking for 243, False | 159: looking for 189, False | 159: looking for 318, False | 159: looking for 252, False |

160: looking for 243, False | 160: looking for 189, False | 160: looking for 318, False | 160: looking for 252, False |

173: looking for 133, False | 173: looking for 89, False | 173: looking for 154, False | 173: looking for 140, False |

177: looking for 243, False | 177: looking for 189, False | 177: looking for 318, False | 177: looking for 252, False |

184: looking for 1, False | 184: looking for 1, False | 184: looking for 1, False | 184: looking for 1, False |

190: looking for 88, False | 190: looking for 78, False | 190: looking for 142, False | 190: looking for 90, False |

191: looking for 80, True | 191: looking for 80, True | 191: looking for 80, True | 191: looking for 80, True |

192: looking for 75, True | 192: looking for 75, True | 192: looking for 75, True | 192: looking for 75, True |

193: looking for 1, True | 193: looking for 1, True | 193: looking for 1, True | 193: looking for 1, True |

194: looking for 2, True | 194: looking for 2, True | 194: looking for 2, True | 194: looking for 2, True |

195: looking for 254, False | 195: looking for 254, False | 195: looking for 254, False | 195: looking for 254, False |

196: looking for 88, False | 196: looking for 78, False | 196: looking for 142, False | 196: looking for 90, False |

198: looking for 88, False | 198: looking for 78, False | 198: looking for 142, False | 198: looking for 90, False |

184: looking for 1, True | 184: looking for 1, True | 184: looking for 1, True | 184: looking for 1, True |

185: looking for 88, False | 185: looking for 78, False | 185: looking for 142, False | 185: looking for 90, False |

205: looking for 1, True | 205: looking for 1, True | 205: looking for 1, True | 205: looking for 1, True |

44: looking for 2, True | 44: looking for 2, True | 44: looking for 2, True | 44: looking for 2, True |

31: looking for 46, False * 14 | 31: looking for 46, False * 4 | 31: looking for 46, True * 2 | 31: looking for 46, False * 16 |

31: looking for 46, True | 31: looking for 46, True | 31: looking for 47, True | 31: looking for 46, True |

31: looking for 46, False * 5 | 31: looking for 46, False * 5 | 84: fprintf(file1); | 31: looking for 46, False * 5 |

34: looking for 47, False * 19 | 34: looking for 47, False * 9 | 31: looking for 46, True * 2 | 34: looking for 47, False * 5 |

78: fopen(file1); | 78: fopen(file1); | 31: looking for 47, True | 34: looking for 47, True |

282: looking for -1, False | 282: looking for -1, False | 31: looking for 46, True * 2 | 34: looking for 47, False * 6 |

298: lseek(file0,0,SET); | 298: lseek(file0,0,SET); | 31: looking for 47, True | 34: looking for 47, True |

299: read(file0,30); | 299: read(file0,30); | 31: looking for 46, True * 2 | 34: looking for 47, False * 13 |

300: looking for 30, False | 300: looking for 30, False | 31: looking for 47, True | 34: looking for 47, True |

301: looking for 80, True | 301: looking for 80, True | 31: looking for 46, True * 2 | 34: looking for 47, False * 13 |

302: looking for 75, True | 302: looking for 75, True | 31: looking for 47, True | 91: mkdir(first); |

303: looking for 3, True | 303: looking for 3, True | 31: looking for 46, True * 2 | 92: looking for -1, False |

304: looking for 4, True | 304: looking for 4, True | 31: looking for 47, True | 91: mkdir(first/second); |

304: lseek(file0,46,CUR); | 304: lseek(file0,36,CUR); | 31: looking for 46, True * 2 | 92: looking for -1, False |

305: lseek(file0,0,CUR); | 305: lseek(file0,0,CUR); | 31: looking for 47, True | 78: fopen(file1); |

334: looking for 1024, False | 334: looking for 1024, False | 31: looking for 46, True * 2 | 282: looking for -1, False |

343: looking for 32768, True | 343: looking for 32768, True | 31: looking for 47, True | 298: lseek(file0,0,SET); |

343: read(file0,57); | 343: read(file0,23); | 31: looking for 46, True * 2 | 299: read(file0,30); |

345: inflate(); | 345: inflate(); | 31: looking for 47, True | 300: looking for 30, False |

346: looking for 1, True | 346: looking for 1, True | 31: looking for 46, True * 2 | 301: looking for 80, True |

100: fwrite(file1,264); | 100: fwrite(file1,95); | 31: looking for 47, True | 302: looking for 75, True |

334: looking for 1024, False | 334: looking for 1024, False | 31: looking for 46, True * 2 | 303: looking for 3, True |

265: inflateEnd(); | 265: inflateEnd(); | 31: looking for 47, True | 304: looking for 4, True |

54: fclose(file1); | 54: fclose(file1); | 31: looking for 46, True * 2 | 304: lseek(file0,48,CUR); |

31: looking for 47, True | 305: lseek(file0,0,CUR); | ||

31: looking for 46, True * 2 | 334: looking for 1024, False | ||

31: looking for 47, True | 343: looking for 32768, True | ||

31: looking for 46, True * 2 | 343: read(file0,62); | ||

31: looking for 47, True | 345: inflate(); | ||

31: looking for 46, True * 2 | 346: looking for 1, True | ||

31: looking for 47, True | 100: fwrite(file1,935); | ||

31: looking for 46, True * 2 | 334: looking for 1024, False | ||

31: looking for 47, True | 265: inflateEnd(); | ||

31: looking for 46, True * 2 | 54: 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); |