inflate.c 9.4 KB
Newer Older
M
Mark Adler 已提交
1
/* inflate.c -- zlib interface to inflate modules
M
Mark Adler 已提交
2
 * Copyright (C) 1995-2002 Mark Adler
M
Mark Adler 已提交
3 4 5 6 7 8 9 10
 * For conditions of distribution and use, see copyright notice in zlib.h 
 */

#include "zutil.h"
#include "infblock.h"

struct inflate_blocks_state {int dummy;}; /* for buggy compilers */

M
Mark Adler 已提交
11
typedef enum {
M
Mark Adler 已提交
12 13
      METHOD,   /* waiting for method byte */
      FLAG,     /* waiting for flag byte */
M
Mark Adler 已提交
14 15 16 17 18
      DICT4,    /* four dictionary check bytes to go */
      DICT3,    /* three dictionary check bytes to go */
      DICT2,    /* two dictionary check bytes to go */
      DICT1,    /* one dictionary check byte to go */
      DICT0,    /* waiting for inflateSetDictionary */
M
Mark Adler 已提交
19 20 21 22 23 24 25
      BLOCKS,   /* decompressing blocks */
      CHECK4,   /* four check bytes to go */
      CHECK3,   /* three check bytes to go */
      CHECK2,   /* two check bytes to go */
      CHECK1,   /* one check byte to go */
      DONE,     /* finished check, done */
      BAD}      /* got an error--stay here */
M
Mark Adler 已提交
26 27 28 29 30 31 32
inflate_mode;

/* inflate private state */
struct internal_state {

  /* mode */
  inflate_mode  mode;   /* current inflate mode */
M
Mark Adler 已提交
33 34 35

  /* mode dependent information */
  union {
M
Mark Adler 已提交
36
    uInt method;        /* if FLAGS, method byte */
M
Mark Adler 已提交
37
    struct {
M
Mark Adler 已提交
38 39 40
      uLong was;                /* computed check value */
      uLong need;               /* stream check value */
    } check;            /* if CHECK, check values to compare */
M
Mark Adler 已提交
41 42
    uInt marker;        /* if BAD, inflateSync's marker bytes count */
  } sub;        /* submode */
M
Mark Adler 已提交
43 44

  /* mode independent information */
M
Mark Adler 已提交
45 46
  int  nowrap;          /* flag for no wrapper */
  uInt wbits;           /* log2(window size)  (8..15, defaults to 15) */
M
Mark Adler 已提交
47
  inflate_blocks_statef 
M
Mark Adler 已提交
48
    *blocks;            /* current inflate_blocks state */
M
Mark Adler 已提交
49

M
Mark Adler 已提交
50 51 52
};


M
Mark Adler 已提交
53
int ZEXPORT inflateReset(z)
M
Mark Adler 已提交
54
z_streamp z;
M
Mark Adler 已提交
55
{
M
Mark Adler 已提交
56 57 58 59 60
  if (z == Z_NULL || z->state == Z_NULL)
    return Z_STREAM_ERROR;
  z->total_in = z->total_out = 0;
  z->msg = Z_NULL;
  z->state->mode = z->state->nowrap ? BLOCKS : METHOD;
M
Mark Adler 已提交
61 62
  inflate_blocks_reset(z->state->blocks, z, Z_NULL);
  Tracev((stderr, "inflate: reset\n"));
M
Mark Adler 已提交
63 64 65 66
  return Z_OK;
}


M
Mark Adler 已提交
67
int ZEXPORT inflateEnd(z)
M
Mark Adler 已提交
68
z_streamp z;
M
Mark Adler 已提交
69 70 71 72
{
  if (z == Z_NULL || z->state == Z_NULL || z->zfree == Z_NULL)
    return Z_STREAM_ERROR;
  if (z->state->blocks != Z_NULL)
M
Mark Adler 已提交
73
    inflate_blocks_free(z->state->blocks, z);
M
Mark Adler 已提交
74 75
  ZFREE(z, z->state);
  z->state = Z_NULL;
M
Mark Adler 已提交
76
  Tracev((stderr, "inflate: end\n"));
M
Mark Adler 已提交
77
  return Z_OK;
M
Mark Adler 已提交
78 79
}

M
Mark Adler 已提交
80

M
Mark Adler 已提交
81
int ZEXPORT inflateInit2_(z, w, version, stream_size)
M
Mark Adler 已提交
82
z_streamp z;
M
Mark Adler 已提交
83
int w;
M
Mark Adler 已提交
84 85
const char *version;
int stream_size;
M
Mark Adler 已提交
86
{
M
Mark Adler 已提交
87 88 89 90
  if (version == Z_NULL || version[0] != ZLIB_VERSION[0] ||
      stream_size != sizeof(z_stream))
      return Z_VERSION_ERROR;

M
Mark Adler 已提交
91
  /* initialize state */
M
Mark Adler 已提交
92 93
  if (z == Z_NULL)
    return Z_STREAM_ERROR;
M
Mark Adler 已提交
94 95 96 97 98 99
  z->msg = Z_NULL;
  if (z->zalloc == Z_NULL)
  {
    z->zalloc = zcalloc;
    z->opaque = (voidpf)0;
  }
M
Mark Adler 已提交
100
  if (z->zfree == Z_NULL) z->zfree = zcfree;
M
Mark Adler 已提交
101
  if ((z->state = (struct internal_state FAR *)
M
Mark Adler 已提交
102 103
       ZALLOC(z,1,sizeof(struct internal_state))) == Z_NULL)
    return Z_MEM_ERROR;
M
Mark Adler 已提交
104
  z->state->blocks = Z_NULL;
M
Mark Adler 已提交
105

M
Mark Adler 已提交
106 107 108 109 110 111
  /* handle undocumented nowrap option (no zlib header or check) */
  z->state->nowrap = 0;
  if (w < 0)
  {
    w = - w;
    z->state->nowrap = 1;
M
Mark Adler 已提交
112
  }
M
Mark Adler 已提交
113 114 115 116

  /* set window size */
  if (w < 8 || w > 15)
  {
M
Mark Adler 已提交
117 118 119
    inflateEnd(z);
    return Z_STREAM_ERROR;
  }
M
Mark Adler 已提交
120 121 122 123
  z->state->wbits = (uInt)w;

  /* create inflate_blocks state */
  if ((z->state->blocks =
M
Mark Adler 已提交
124
      inflate_blocks_new(z, z->state->nowrap ? Z_NULL : adler32, (uInt)1 << w))
M
Mark Adler 已提交
125 126 127 128 129
      == Z_NULL)
  {
    inflateEnd(z);
    return Z_MEM_ERROR;
  }
M
Mark Adler 已提交
130
  Tracev((stderr, "inflate: allocated\n"));
M
Mark Adler 已提交
131 132 133

  /* reset state */
  inflateReset(z);
M
Mark Adler 已提交
134 135 136 137
  return Z_OK;
}


M
Mark Adler 已提交
138
int ZEXPORT inflateInit_(z, version, stream_size)
M
Mark Adler 已提交
139
z_streamp z;
M
Mark Adler 已提交
140 141
const char *version;
int stream_size;
M
Mark Adler 已提交
142
{
M
Mark Adler 已提交
143
  return inflateInit2_(z, DEF_WBITS, version, stream_size);
M
Mark Adler 已提交
144 145 146
}


M
Mark Adler 已提交
147
#define NEEDBYTE {if(z->avail_in==0)return r;r=f;}
M
Mark Adler 已提交
148 149
#define NEXTBYTE (z->avail_in--,z->total_in++,*z->next_in++)

M
Mark Adler 已提交
150
int ZEXPORT inflate(z, f)
M
Mark Adler 已提交
151
z_streamp z;
M
Mark Adler 已提交
152 153
int f;
{
M
Mark Adler 已提交
154
  int r;
M
Mark Adler 已提交
155 156
  uInt b;

M
Mark Adler 已提交
157
  if (z == Z_NULL || z->state == Z_NULL || z->next_in == Z_NULL)
M
Mark Adler 已提交
158
    return Z_STREAM_ERROR;
M
Mark Adler 已提交
159
  f = f == Z_FINISH ? Z_BUF_ERROR : Z_OK;
M
Mark Adler 已提交
160 161 162 163
  r = Z_BUF_ERROR;
  while (1) switch (z->state->mode)
  {
    case METHOD:
M
Mark Adler 已提交
164
      NEEDBYTE
M
Mark Adler 已提交
165
      if (((z->state->sub.method = NEXTBYTE) & 0xf) != Z_DEFLATED)
M
Mark Adler 已提交
166
      {
M
Mark Adler 已提交
167
        z->state->mode = BAD;
M
Mark Adler 已提交
168
        z->msg = (char*)"unknown compression method";
M
Mark Adler 已提交
169 170
        z->state->sub.marker = 5;       /* can't try inflateSync */
        break;
M
Mark Adler 已提交
171
      }
M
Mark Adler 已提交
172
      if ((z->state->sub.method >> 4) + 8 > z->state->wbits)
M
Mark Adler 已提交
173
      {
M
Mark Adler 已提交
174
        z->state->mode = BAD;
M
Mark Adler 已提交
175
        z->msg = (char*)"invalid window size";
M
Mark Adler 已提交
176 177
        z->state->sub.marker = 5;       /* can't try inflateSync */
        break;
M
Mark Adler 已提交
178 179 180
      }
      z->state->mode = FLAG;
    case FLAG:
M
Mark Adler 已提交
181
      NEEDBYTE
M
Mark Adler 已提交
182
      b = NEXTBYTE;
M
Mark Adler 已提交
183
      if (((z->state->sub.method << 8) + b) % 31)
M
Mark Adler 已提交
184
      {
M
Mark Adler 已提交
185
        z->state->mode = BAD;
M
Mark Adler 已提交
186
        z->msg = (char*)"incorrect header check";
M
Mark Adler 已提交
187 188
        z->state->sub.marker = 5;       /* can't try inflateSync */
        break;
M
Mark Adler 已提交
189
      }
M
Mark Adler 已提交
190
      Tracev((stderr, "inflate: zlib header ok\n"));
M
Mark Adler 已提交
191 192 193
      if (!(b & PRESET_DICT))
      {
        z->state->mode = BLOCKS;
M
Mark Adler 已提交
194
        break;
M
Mark Adler 已提交
195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219
      }
      z->state->mode = DICT4;
    case DICT4:
      NEEDBYTE
      z->state->sub.check.need = (uLong)NEXTBYTE << 24;
      z->state->mode = DICT3;
    case DICT3:
      NEEDBYTE
      z->state->sub.check.need += (uLong)NEXTBYTE << 16;
      z->state->mode = DICT2;
    case DICT2:
      NEEDBYTE
      z->state->sub.check.need += (uLong)NEXTBYTE << 8;
      z->state->mode = DICT1;
    case DICT1:
      NEEDBYTE
      z->state->sub.check.need += (uLong)NEXTBYTE;
      z->adler = z->state->sub.check.need;
      z->state->mode = DICT0;
      return Z_NEED_DICT;
    case DICT0:
      z->state->mode = BAD;
      z->msg = (char*)"need dictionary";
      z->state->sub.marker = 0;       /* can try inflateSync */
      return Z_STREAM_ERROR;
M
Mark Adler 已提交
220
    case BLOCKS:
M
Mark Adler 已提交
221 222 223 224
      r = inflate_blocks(z->state->blocks, z, r);
      if (r == Z_DATA_ERROR)
      {
        z->state->mode = BAD;
M
Mark Adler 已提交
225 226
        z->state->sub.marker = 0;       /* can try inflateSync */
        break;
M
Mark Adler 已提交
227
      }
M
Mark Adler 已提交
228 229
      if (r == Z_OK)
        r = f;
M
Mark Adler 已提交
230
      if (r != Z_STREAM_END)
M
Mark Adler 已提交
231
        return r;
M
Mark Adler 已提交
232
      r = f;
M
Mark Adler 已提交
233
      inflate_blocks_reset(z->state->blocks, z, &z->state->sub.check.was);
M
Mark Adler 已提交
234 235
      if (z->state->nowrap)
      {
M
Mark Adler 已提交
236 237
        z->state->mode = DONE;
        break;
M
Mark Adler 已提交
238 239 240
      }
      z->state->mode = CHECK4;
    case CHECK4:
M
Mark Adler 已提交
241
      NEEDBYTE
M
Mark Adler 已提交
242 243 244
      z->state->sub.check.need = (uLong)NEXTBYTE << 24;
      z->state->mode = CHECK3;
    case CHECK3:
M
Mark Adler 已提交
245
      NEEDBYTE
M
Mark Adler 已提交
246 247 248
      z->state->sub.check.need += (uLong)NEXTBYTE << 16;
      z->state->mode = CHECK2;
    case CHECK2:
M
Mark Adler 已提交
249
      NEEDBYTE
M
Mark Adler 已提交
250 251 252
      z->state->sub.check.need += (uLong)NEXTBYTE << 8;
      z->state->mode = CHECK1;
    case CHECK1:
M
Mark Adler 已提交
253
      NEEDBYTE
M
Mark Adler 已提交
254
      z->state->sub.check.need += (uLong)NEXTBYTE;
M
Mark Adler 已提交
255

M
Mark Adler 已提交
256 257
      if (z->state->sub.check.was != z->state->sub.check.need)
      {
M
Mark Adler 已提交
258
        z->state->mode = BAD;
M
Mark Adler 已提交
259
        z->msg = (char*)"incorrect data check";
M
Mark Adler 已提交
260 261
        z->state->sub.marker = 5;       /* can't try inflateSync */
        break;
M
Mark Adler 已提交
262
      }
M
Mark Adler 已提交
263
      Tracev((stderr, "inflate: zlib check ok\n"));
M
Mark Adler 已提交
264 265 266
      z->state->mode = DONE;
    case DONE:
      return Z_STREAM_END;
M
Mark Adler 已提交
267
    case BAD:
M
Mark Adler 已提交
268 269 270 271
      return Z_DATA_ERROR;
    default:
      return Z_STREAM_ERROR;
  }
M
Mark Adler 已提交
272 273 274
#ifdef NEED_DUMMY_RETURN
  return Z_STREAM_ERROR;  /* Some dumb compilers complain without this */
#endif
M
Mark Adler 已提交
275 276 277
}


M
Mark Adler 已提交
278
int ZEXPORT inflateSetDictionary(z, dictionary, dictLength)
M
Mark Adler 已提交
279
z_streamp z;
M
Mark Adler 已提交
280 281 282 283 284 285 286
const Bytef *dictionary;
uInt  dictLength;
{
  uInt length = dictLength;

  if (z == Z_NULL || z->state == Z_NULL || z->state->mode != DICT0)
    return Z_STREAM_ERROR;
M
Mark Adler 已提交
287

M
Mark Adler 已提交
288 289 290 291 292 293 294 295 296 297 298 299 300 301
  if (adler32(1L, dictionary, dictLength) != z->adler) return Z_DATA_ERROR;
  z->adler = 1L;

  if (length >= ((uInt)1<<z->state->wbits))
  {
    length = (1<<z->state->wbits)-1;
    dictionary += dictLength - length;
  }
  inflate_set_dictionary(z->state->blocks, dictionary, length);
  z->state->mode = BLOCKS;
  return Z_OK;
}


M
Mark Adler 已提交
302
int ZEXPORT inflateSync(z)
M
Mark Adler 已提交
303
z_streamp z;
M
Mark Adler 已提交
304
{
M
Mark Adler 已提交
305
  uInt n;       /* number of bytes to look at */
M
Mark Adler 已提交
306
  Bytef *p;     /* pointer to bytes */
M
Mark Adler 已提交
307 308
  uInt m;       /* number of marker bytes found in a row */
  uLong r, w;   /* temporaries to save total_in and total_out */
M
Mark Adler 已提交
309

M
Mark Adler 已提交
310 311
  /* set up */
  if (z == Z_NULL || z->state == Z_NULL)
M
Mark Adler 已提交
312
    return Z_STREAM_ERROR;
M
Mark Adler 已提交
313
  if (z->state->mode != BAD)
M
Mark Adler 已提交
314 315
  {
    z->state->mode = BAD;
M
Mark Adler 已提交
316
    z->state->sub.marker = 0;
M
Mark Adler 已提交
317
  }
M
Mark Adler 已提交
318 319 320 321
  if ((n = z->avail_in) == 0)
    return Z_BUF_ERROR;
  p = z->next_in;
  m = z->state->sub.marker;
M
Mark Adler 已提交
322

M
Mark Adler 已提交
323 324 325
  /* search */
  while (n && m < 4)
  {
M
Mark Adler 已提交
326 327
    static const Byte mark[4] = {0, 0, 0xff, 0xff};
    if (*p == mark[m])
M
Mark Adler 已提交
328
      m++;
M
Mark Adler 已提交
329
    else if (*p)
M
Mark Adler 已提交
330
      m = 0;
M
Mark Adler 已提交
331 332
    else
      m = 4 - m;
M
Mark Adler 已提交
333 334
    p++, n--;
  }
M
Mark Adler 已提交
335

M
Mark Adler 已提交
336 337 338 339 340
  /* restore */
  z->total_in += p - z->next_in;
  z->next_in = p;
  z->avail_in = n;
  z->state->sub.marker = m;
M
Mark Adler 已提交
341

M
Mark Adler 已提交
342 343 344 345 346 347 348 349
  /* return no joy or set up to restart on a new block */
  if (m != 4)
    return Z_DATA_ERROR;
  r = z->total_in;  w = z->total_out;
  inflateReset(z);
  z->total_in = r;  z->total_out = w;
  z->state->mode = BLOCKS;
  return Z_OK;
M
Mark Adler 已提交
350
}
M
Mark Adler 已提交
351 352 353 354 355 356 357 358 359


/* Returns true if inflate is currently at the end of a block generated
 * by Z_SYNC_FLUSH or Z_FULL_FLUSH. This function is used by one PPP
 * implementation to provide an additional safety check. PPP uses Z_SYNC_FLUSH
 * but removes the length bytes of the resulting empty stored block. When
 * decompressing, PPP checks that at the end of input packet, inflate is
 * waiting for these length bytes.
 */
M
Mark Adler 已提交
360
int ZEXPORT inflateSyncPoint(z)
M
Mark Adler 已提交
361 362 363 364 365 366
z_streamp z;
{
  if (z == Z_NULL || z->state == Z_NULL || z->state->blocks == Z_NULL)
    return Z_STREAM_ERROR;
  return inflate_blocks_sync_point(z->state->blocks);
}