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

33: looking for 1, False | 33: looking for 1, False | 33: looking for 1, False | 33: looking for 1, False |

239: open(file0); | 239: open(file0); | 239: open(file0); | 239: open(file0); |

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

460: __fxstat(file0); | 460: __fxstat(file0); | 460: __fxstat(file0); | 460: __fxstat(file0); |

115: looking for 22, False | 115: looking for 22, False | 115: looking for 22, False | 115: looking for 22, False |

118: looking for 65536, False | 118: looking for 65536, False | 118: looking for 65536, False | 118: looking for 65536, False |

121: looking for 512, False | 121: looking for 512, False | 121: looking for 512, False | 121: looking for 512, False |

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

123: looking for 4096, False | 123: looking for 4096, False | 123: looking for 4096, False | 123: looking for 4096, False |

124: looking for 4096, True | 124: looking for 4096, True | 124: looking for 4096, True | 124: looking for 4096, True |

126: looking for 243, True | 126: looking for 189, True | 126: looking for 318, True | 126: 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 |

137: looking for 80, True | 137: looking for 80, True | 137: looking for 80, True | 137: looking for 80, True |

138: looking for 20, True | 138: looking for 20, True | 138: looking for 20, True | 138: looking for 20, True |

139: looking for 80, True | 139: looking for 80, True | 139: looking for 80, True | 139: looking for 80, True |

140: looking for 75, True | 140: looking for 75, True | 140: looking for 75, True | 140: looking for 75, True |

141: looking for 5, True | 141: looking for 5, True | 141: looking for 5, True | 141: looking for 5, True |

142: looking for 6, True | 142: looking for 6, True | 142: looking for 6, True | 142: looking for 6, True |

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

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

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

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

170: looking for 1, False | 170: looking for 1, False | 170: looking for 1, False | 170: looking for 1, False |

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

177: looking for 80, True | 177: looking for 80, True | 177: looking for 80, True | 177: looking for 80, True |

178: looking for 75, True | 178: looking for 75, True | 178: looking for 75, True | 178: looking for 75, True |

179: looking for 1, True | 179: looking for 1, True | 179: looking for 1, True | 179: looking for 1, True |

180: looking for 2, True | 180: looking for 2, True | 180: looking for 2, True | 180: looking for 2, True |

181: looking for 254, False | 181: looking for 254, False | 181: looking for 254, False | 181: looking for 254, False |

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

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

170: looking for 1, True | 170: looking for 1, True | 170: looking for 1, True | 170: looking for 1, True |

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

191: looking for 1, True | 191: looking for 1, True | 191: looking for 1, True | 191: looking for 1, True |

40: looking for 2, True | 40: looking for 2, True | 40: looking for 2, True | 40: looking for 2, True |

30: looking for 47, False * 19 | 30: looking for 47, False * 9 | 30: looking for 47, False * 2 | 30: looking for 47, False * 5 |

71: fopen(file1); | 71: fopen(file1); | 30: looking for 47, True | 30: looking for 47, True |

268: looking for -1, False | 268: looking for -1, False | 30: looking for 47, False * 2 | 30: looking for 47, False * 6 |

284: lseek(file0,0,SET); | 284: lseek(file0,0,SET); | 30: looking for 47, True | 30: looking for 47, True |

285: read(file0,30); | 285: read(file0,30); | 30: looking for 47, False * 2 | 30: looking for 47, False * 13 |

286: looking for 30, False | 286: looking for 30, False | 30: looking for 47, True | 30: looking for 47, True |

287: looking for 80, True | 287: looking for 80, True | 30: looking for 47, False * 2 | 30: looking for 47, False * 13 |

288: looking for 75, True | 288: looking for 75, True | 30: looking for 47, True | 77: mkdir(first); |

289: looking for 3, True | 289: looking for 3, True | 30: looking for 47, False * 2 | 78: looking for -1, False |

290: looking for 4, True | 290: looking for 4, True | 30: looking for 47, True | 77: mkdir(first/second); |

290: lseek(file0,46,CUR); | 290: lseek(file0,36,CUR); | 30: looking for 47, False * 2 | 78: looking for -1, False |

291: lseek(file0,0,CUR); | 291: lseek(file0,0,CUR); | 30: looking for 47, True | 71: fopen(file1); |

320: looking for 1024, False | 320: looking for 1024, False | 30: looking for 47, False * 2 | 268: looking for -1, False |

329: looking for 32768, True | 329: looking for 32768, True | 30: looking for 47, True | 284: lseek(file0,0,SET); |

329: read(file0,57); | 329: read(file0,23); | 30: looking for 47, False * 2 | 285: read(file0,30); |

331: inflate(); | 331: inflate(); | 30: looking for 47, True | 286: looking for 30, False |

332: looking for 1, True | 332: looking for 1, True | 30: looking for 47, False * 2 | 287: looking for 80, True |

86: fwrite(file1,264); | 86: fwrite(file1,95); | 30: looking for 47, True | 288: looking for 75, True |

320: looking for 1024, False | 320: looking for 1024, False | 30: looking for 47, False * 2 | 289: looking for 3, True |

251: inflateEnd(); | 251: inflateEnd(); | 30: looking for 47, True | 290: looking for 4, True |

50: fclose(file1); | 50: fclose(file1); | 30: looking for 47, False * 2 | 290: lseek(file0,48,CUR); |

30: looking for 47, True | 291: lseek(file0,0,CUR); | ||

30: looking for 47, False * 2 | 320: looking for 1024, False | ||

30: looking for 47, True | 329: looking for 32768, True | ||

30: looking for 47, False * 2 | 329: read(file0,62); | ||

30: looking for 47, True | 331: inflate(); | ||

30: looking for 47, False * 2 | 332: looking for 1, True | ||

30: looking for 47, True | 86: fwrite(file1,935); | ||

30: looking for 47, False * 2 | 320: looking for 1024, False | ||

30: looking for 47, True | 251: inflateEnd(); | ||

30: looking for 47, False * 2 | 50: fclose(file1); | ||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 3 | |||

30: looking for 47, True | |||

30: looking for 47, False * 11 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 6 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 5 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 5 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 5 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 5 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 5 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 5 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 5 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 5 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 5 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 5 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 5 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 5 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 5 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 5 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 5 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 5 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 5 | |||

30: looking for 47, True | |||

30: looking for 47, False * 2 | |||

30: looking for 47, True | |||

30: looking for 47, False * 5 | |||

30: looking for 47, True | |||

30: looking for 47, False * 6 | |||

77: mkdir(..); | |||

78: looking for -1, True | |||

80: looking for 17, True | |||

77: mkdir(../..); | |||

78: looking for -1, True | |||

80: looking for 17, True | |||

77: mkdir(../../..); | |||

78: looking for -1, True | |||

80: looking for 17, True | |||

77: mkdir(../../../..); | |||

78: looking for -1, True | |||

80: looking for 17, True | |||

77: mkdir(../../../../..); | |||

78: looking for -1, True | |||

80: looking for 17, True | |||

77: mkdir(../../../../../..); | |||

78: looking for -1, True | |||

80: looking for 17, True | |||

77: mkdir(../../../../../../..); | |||

78: looking for -1, True | |||

80: looking for 17, True | |||

77: mkdir(../../../../../../../..); | |||

78: looking for -1, True | |||

80: looking for 17, True | |||

77: mkdir(../../../../../../../../..); | |||

78: looking for -1, True | |||

80: looking for 17, True | |||

77: mkdir(../../../../../../../../../..); | |||

78: looking for -1, True | |||

80: looking for 17, True | |||

77: mkdir(../../../../../../../../../../..); | |||

78: looking for -1, True | |||

80: looking for 17, True | |||

77: mkdir(../../../../../../../../../../../..); | |||

78: looking for -1, True | |||

80: looking for 17, True | |||

77: mkdir(../../../../../../../../../../../../..); | |||

78: looking for -1, True | |||

80: looking for 17, True | |||

77: mkdir(../../../../../../../../../../../../../..); | |||

78: looking for -1, True | |||

80: looking for 17, True | |||

77: mkdir(../../../../../../../../../../../../../../..); | |||

78: looking for -1, True | |||

80: looking for 17, True | |||

77: mkdir(../../../../../../../../../../../../../../../..); | |||

78: looking for -1, True | |||

80: looking for 17, True | |||

77: mkdir(../../../../../../../../../../../../../../../../..); | |||

78: looking for -1, True | |||

80: looking for 17, True | |||

77: mkdir(../../../../../../../../../../../../../../../../../..); | |||

78: looking for -1, True | |||

80: looking for 17, True | |||

77: mkdir(../../../../../../../../../../../../../../../../../../..); | |||

78: looking for -1, True | |||

80: looking for 17, True | |||

77: mkdir(../../../../../../../../../../../../../../../../../../../..); | |||

78: looking for -1, True | |||

80: looking for 17, True | |||

77: mkdir(../../../../../../../../../../../../../../../../../../../../tmp); | |||

78: looking for -1, True | |||

80: looking for 17, True | |||

71: fopen(file1); | |||

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

284: lseek(file0,0,SET); | |||

285: read(file0,30); | |||

286: looking for 30, False | |||

287: looking for 80, True | |||

288: looking for 75, True | |||

289: looking for 3, True | |||

290: looking for 4, True | |||

290: lseek(file0,100,CUR); | |||

291: lseek(file0,0,CUR); | |||

320: looking for 1024, False | |||

329: looking for 32768, True | |||

329: read(file0,24); | |||

331: inflate(); | |||

332: looking for 1, True | |||

86: fwrite(file1,100); | |||

320: looking for 1024, False | |||

251: inflateEnd(); | |||

50: fclose(file1); |