inflate.c revision 33905
1145519Sdarrenr/* inflate.c -- zlib interface to inflate modules
2145510Sdarrenr * Copyright (C) 1995-1998 Mark Adler
3145510Sdarrenr * For conditions of distribution and use, see copyright notice in zlib.h
4145510Sdarrenr */
5145510Sdarrenr
6145510Sdarrenr#include "zutil.h"
7145510Sdarrenr#include "infblock.h"
8145510Sdarrenr
9145510Sdarrenrstruct inflate_blocks_state {int dummy;}; /* for buggy compilers */
10145510Sdarrenr
11145510Sdarrenrtypedef enum {
12145510Sdarrenr      METHOD,   /* waiting for method byte */
13145510Sdarrenr      FLAG,     /* waiting for flag byte */
14145510Sdarrenr      DICT4,    /* four dictionary check bytes to go */
15145510Sdarrenr      DICT3,    /* three dictionary check bytes to go */
16145510Sdarrenr      DICT2,    /* two dictionary check bytes to go */
17145510Sdarrenr      DICT1,    /* one dictionary check byte to go */
18145510Sdarrenr      DICT0,    /* waiting for inflateSetDictionary */
19145510Sdarrenr      BLOCKS,   /* decompressing blocks */
20145510Sdarrenr      CHECK4,   /* four check bytes to go */
21145510Sdarrenr      CHECK3,   /* three check bytes to go */
22145510Sdarrenr      CHECK2,   /* two check bytes to go */
23145510Sdarrenr      CHECK1,   /* one check byte to go */
24145510Sdarrenr      DONE,     /* finished check, done */
25145510Sdarrenr      BAD}      /* got an error--stay here */
26145510Sdarrenrinflate_mode;
27145510Sdarrenr
28145510Sdarrenr/* inflate private state */
29145510Sdarrenrstruct internal_state {
30145510Sdarrenr
31145510Sdarrenr  /* mode */
32145510Sdarrenr  inflate_mode  mode;   /* current inflate mode */
33145510Sdarrenr
34145510Sdarrenr  /* mode dependent information */
35145510Sdarrenr  union {
36145510Sdarrenr    uInt method;        /* if FLAGS, method byte */
37145510Sdarrenr    struct {
38145510Sdarrenr      uLong was;                /* computed check value */
39145510Sdarrenr      uLong need;               /* stream check value */
40145510Sdarrenr    } check;            /* if CHECK, check values to compare */
41145510Sdarrenr    uInt marker;        /* if BAD, inflateSync's marker bytes count */
42145510Sdarrenr  } sub;        /* submode */
43145510Sdarrenr
44145510Sdarrenr  /* mode independent information */
45145510Sdarrenr  int  nowrap;          /* flag for no wrapper */
46145510Sdarrenr  uInt wbits;           /* log2(window size)  (8..15, defaults to 15) */
47145510Sdarrenr  inflate_blocks_statef
48145510Sdarrenr    *blocks;            /* current inflate_blocks state */
49145510Sdarrenr
50145510Sdarrenr};
51145510Sdarrenr
52145510Sdarrenr
53145510Sdarrenrint ZEXPORT inflateReset(z)
54145510Sdarrenrz_streamp z;
55145510Sdarrenr{
56145510Sdarrenr  if (z == Z_NULL || z->state == Z_NULL)
57145510Sdarrenr    return Z_STREAM_ERROR;
58145510Sdarrenr  z->total_in = z->total_out = 0;
59145510Sdarrenr  z->msg = Z_NULL;
60145510Sdarrenr  z->state->mode = z->state->nowrap ? BLOCKS : METHOD;
61145510Sdarrenr  inflate_blocks_reset(z->state->blocks, z, Z_NULL);
62145510Sdarrenr  Tracev((stderr, "inflate: reset\n"));
63145510Sdarrenr  return Z_OK;
64145510Sdarrenr}
65145510Sdarrenr
66145510Sdarrenr
67145510Sdarrenrint ZEXPORT inflateEnd(z)
68145510Sdarrenrz_streamp z;
69145510Sdarrenr{
70145510Sdarrenr  if (z == Z_NULL || z->state == Z_NULL || z->zfree == Z_NULL)
71145510Sdarrenr    return Z_STREAM_ERROR;
72145510Sdarrenr  if (z->state->blocks != Z_NULL)
73145510Sdarrenr    inflate_blocks_free(z->state->blocks, z);
74145510Sdarrenr  ZFREE(z, z->state);
75145510Sdarrenr  z->state = Z_NULL;
76145510Sdarrenr  Tracev((stderr, "inflate: end\n"));
77145510Sdarrenr  return Z_OK;
78145510Sdarrenr}
79145510Sdarrenr
80145510Sdarrenr
81145510Sdarrenrint ZEXPORT inflateInit2_(z, w, version, stream_size)
82145510Sdarrenrz_streamp z;
83145510Sdarrenrint w;
84145510Sdarrenrconst char *version;
85145510Sdarrenrint stream_size;
86145510Sdarrenr{
87145510Sdarrenr  if (version == Z_NULL || version[0] != ZLIB_VERSION[0] ||
88145510Sdarrenr      stream_size != sizeof(z_stream))
89145510Sdarrenr      return Z_VERSION_ERROR;
90145510Sdarrenr
91145510Sdarrenr  /* initialize state */
92145510Sdarrenr  if (z == Z_NULL)
93145510Sdarrenr    return Z_STREAM_ERROR;
94145510Sdarrenr  z->msg = Z_NULL;
95145510Sdarrenr  if (z->zalloc == Z_NULL)
96145510Sdarrenr  {
97145510Sdarrenr    z->zalloc = zcalloc;
98145510Sdarrenr    z->opaque = (voidpf)0;
99145510Sdarrenr  }
100145510Sdarrenr  if (z->zfree == Z_NULL) z->zfree = zcfree;
101145510Sdarrenr  if ((z->state = (struct internal_state FAR *)
102145510Sdarrenr       ZALLOC(z,1,sizeof(struct internal_state))) == Z_NULL)
103145510Sdarrenr    return Z_MEM_ERROR;
104145510Sdarrenr  z->state->blocks = Z_NULL;
105145510Sdarrenr
106145510Sdarrenr  /* handle undocumented nowrap option (no zlib header or check) */
107145510Sdarrenr  z->state->nowrap = 0;
108145510Sdarrenr  if (w < 0)
109145510Sdarrenr  {
110145510Sdarrenr    w = - w;
111145510Sdarrenr    z->state->nowrap = 1;
112145510Sdarrenr  }
113145510Sdarrenr
114145510Sdarrenr  /* set window size */
115145510Sdarrenr  if (w < 8 || w > 15)
116145510Sdarrenr  {
117145510Sdarrenr    inflateEnd(z);
118145510Sdarrenr    return Z_STREAM_ERROR;
119145510Sdarrenr  }
120145510Sdarrenr  z->state->wbits = (uInt)w;
121145510Sdarrenr
122145510Sdarrenr  /* create inflate_blocks state */
123145510Sdarrenr  if ((z->state->blocks =
124145510Sdarrenr      inflate_blocks_new(z, z->state->nowrap ? Z_NULL : adler32, (uInt)1 << w))
125145510Sdarrenr      == Z_NULL)
126145510Sdarrenr  {
127145510Sdarrenr    inflateEnd(z);
128145510Sdarrenr    return Z_MEM_ERROR;
129145510Sdarrenr  }
130145510Sdarrenr  Tracev((stderr, "inflate: allocated\n"));
131145510Sdarrenr
132145510Sdarrenr  /* reset state */
133145510Sdarrenr  inflateReset(z);
134145510Sdarrenr  return Z_OK;
135145510Sdarrenr}
136145510Sdarrenr
137145510Sdarrenr
138145510Sdarrenrint ZEXPORT inflateInit_(z, version, stream_size)
139145510Sdarrenrz_streamp z;
140145510Sdarrenrconst char *version;
141145510Sdarrenrint stream_size;
142145510Sdarrenr{
143145510Sdarrenr  return inflateInit2_(z, DEF_WBITS, version, stream_size);
144145510Sdarrenr}
145145510Sdarrenr
146145510Sdarrenr
147145510Sdarrenr#define NEEDBYTE {if(z->avail_in==0)return r;r=f;}
148145510Sdarrenr#define NEXTBYTE (z->avail_in--,z->total_in++,*z->next_in++)
149145510Sdarrenr
150145510Sdarrenrint ZEXPORT inflate(z, f)
151145510Sdarrenrz_streamp z;
152145510Sdarrenrint f;
153145510Sdarrenr{
154145510Sdarrenr  int r;
155145510Sdarrenr  uInt b;
156145510Sdarrenr
157145510Sdarrenr  if (z == Z_NULL || z->state == Z_NULL || z->next_in == Z_NULL)
158145510Sdarrenr    return Z_STREAM_ERROR;
159145510Sdarrenr  f = f == Z_FINISH ? Z_BUF_ERROR : Z_OK;
160145510Sdarrenr  r = Z_BUF_ERROR;
161145510Sdarrenr  while (1) switch (z->state->mode)
162145510Sdarrenr  {
163145510Sdarrenr    case METHOD:
164145510Sdarrenr      NEEDBYTE
165145510Sdarrenr      if (((z->state->sub.method = NEXTBYTE) & 0xf) != Z_DEFLATED)
166145510Sdarrenr      {
167145510Sdarrenr        z->state->mode = BAD;
168145510Sdarrenr        z->msg = (char*)"unknown compression method";
169145510Sdarrenr        z->state->sub.marker = 5;       /* can't try inflateSync */
170145510Sdarrenr        break;
171145510Sdarrenr      }
172145510Sdarrenr      if ((z->state->sub.method >> 4) + 8 > z->state->wbits)
173145510Sdarrenr      {
174145510Sdarrenr        z->state->mode = BAD;
175145510Sdarrenr        z->msg = (char*)"invalid window size";
176145510Sdarrenr        z->state->sub.marker = 5;       /* can't try inflateSync */
177145510Sdarrenr        break;
178145510Sdarrenr      }
179145510Sdarrenr      z->state->mode = FLAG;
180145510Sdarrenr    case FLAG:
181145510Sdarrenr      NEEDBYTE
182145510Sdarrenr      b = NEXTBYTE;
183145510Sdarrenr      if (((z->state->sub.method << 8) + b) % 31)
184145510Sdarrenr      {
185145510Sdarrenr        z->state->mode = BAD;
186145510Sdarrenr        z->msg = (char*)"incorrect header check";
187145510Sdarrenr        z->state->sub.marker = 5;       /* can't try inflateSync */
188145510Sdarrenr        break;
189145510Sdarrenr      }
190      Tracev((stderr, "inflate: zlib header ok\n"));
191      if (!(b & PRESET_DICT))
192      {
193        z->state->mode = BLOCKS;
194        break;
195      }
196      z->state->mode = DICT4;
197    case DICT4:
198      NEEDBYTE
199      z->state->sub.check.need = (uLong)NEXTBYTE << 24;
200      z->state->mode = DICT3;
201    case DICT3:
202      NEEDBYTE
203      z->state->sub.check.need += (uLong)NEXTBYTE << 16;
204      z->state->mode = DICT2;
205    case DICT2:
206      NEEDBYTE
207      z->state->sub.check.need += (uLong)NEXTBYTE << 8;
208      z->state->mode = DICT1;
209    case DICT1:
210      NEEDBYTE
211      z->state->sub.check.need += (uLong)NEXTBYTE;
212      z->adler = z->state->sub.check.need;
213      z->state->mode = DICT0;
214      return Z_NEED_DICT;
215    case DICT0:
216      z->state->mode = BAD;
217      z->msg = (char*)"need dictionary";
218      z->state->sub.marker = 0;       /* can try inflateSync */
219      return Z_STREAM_ERROR;
220    case BLOCKS:
221      r = inflate_blocks(z->state->blocks, z, r);
222      if (r == Z_DATA_ERROR)
223      {
224        z->state->mode = BAD;
225        z->state->sub.marker = 0;       /* can try inflateSync */
226        break;
227      }
228      if (r == Z_OK)
229        r = f;
230      if (r != Z_STREAM_END)
231        return r;
232      r = f;
233      inflate_blocks_reset(z->state->blocks, z, &z->state->sub.check.was);
234      if (z->state->nowrap)
235      {
236        z->state->mode = DONE;
237        break;
238      }
239      z->state->mode = CHECK4;
240    case CHECK4:
241      NEEDBYTE
242      z->state->sub.check.need = (uLong)NEXTBYTE << 24;
243      z->state->mode = CHECK3;
244    case CHECK3:
245      NEEDBYTE
246      z->state->sub.check.need += (uLong)NEXTBYTE << 16;
247      z->state->mode = CHECK2;
248    case CHECK2:
249      NEEDBYTE
250      z->state->sub.check.need += (uLong)NEXTBYTE << 8;
251      z->state->mode = CHECK1;
252    case CHECK1:
253      NEEDBYTE
254      z->state->sub.check.need += (uLong)NEXTBYTE;
255
256      if (z->state->sub.check.was != z->state->sub.check.need)
257      {
258        z->state->mode = BAD;
259        z->msg = (char*)"incorrect data check";
260        z->state->sub.marker = 5;       /* can't try inflateSync */
261        break;
262      }
263      Tracev((stderr, "inflate: zlib check ok\n"));
264      z->state->mode = DONE;
265    case DONE:
266      return Z_STREAM_END;
267    case BAD:
268      return Z_DATA_ERROR;
269    default:
270      return Z_STREAM_ERROR;
271  }
272#ifdef NEED_DUMMY_RETURN
273  return Z_STREAM_ERROR;  /* Some dumb compilers complain without this */
274#endif
275}
276
277
278int ZEXPORT inflateSetDictionary(z, dictionary, dictLength)
279z_streamp z;
280const Bytef *dictionary;
281uInt  dictLength;
282{
283  uInt length = dictLength;
284
285  if (z == Z_NULL || z->state == Z_NULL || z->state->mode != DICT0)
286    return Z_STREAM_ERROR;
287
288  if (adler32(1L, dictionary, dictLength) != z->adler) return Z_DATA_ERROR;
289  z->adler = 1L;
290
291  if (length >= ((uInt)1<<z->state->wbits))
292  {
293    length = (1<<z->state->wbits)-1;
294    dictionary += dictLength - length;
295  }
296  inflate_set_dictionary(z->state->blocks, dictionary, length);
297  z->state->mode = BLOCKS;
298  return Z_OK;
299}
300
301
302int ZEXPORT inflateSync(z)
303z_streamp z;
304{
305  uInt n;       /* number of bytes to look at */
306  Bytef *p;     /* pointer to bytes */
307  uInt m;       /* number of marker bytes found in a row */
308  uLong r, w;   /* temporaries to save total_in and total_out */
309
310  /* set up */
311  if (z == Z_NULL || z->state == Z_NULL)
312    return Z_STREAM_ERROR;
313  if (z->state->mode != BAD)
314  {
315    z->state->mode = BAD;
316    z->state->sub.marker = 0;
317  }
318  if ((n = z->avail_in) == 0)
319    return Z_BUF_ERROR;
320  p = z->next_in;
321  m = z->state->sub.marker;
322
323  /* search */
324  while (n && m < 4)
325  {
326    static const Byte mark[4] = {0, 0, 0xff, 0xff};
327    if (*p == mark[m])
328      m++;
329    else if (*p)
330      m = 0;
331    else
332      m = 4 - m;
333    p++, n--;
334  }
335
336  /* restore */
337  z->total_in += p - z->next_in;
338  z->next_in = p;
339  z->avail_in = n;
340  z->state->sub.marker = m;
341
342  /* return no joy or set up to restart on a new block */
343  if (m != 4)
344    return Z_DATA_ERROR;
345  r = z->total_in;  w = z->total_out;
346  inflateReset(z);
347  z->total_in = r;  z->total_out = w;
348  z->state->mode = BLOCKS;
349  return Z_OK;
350}
351
352
353/* Returns true if inflate is currently at the end of a block generated
354 * by Z_SYNC_FLUSH or Z_FULL_FLUSH. This function is used by one PPP
355 * implementation to provide an additional safety check. PPP uses Z_SYNC_FLUSH
356 * but removes the length bytes of the resulting empty stored block. When
357 * decompressing, PPP checks that at the end of input packet, inflate is
358 * waiting for these length bytes.
359 */
360int ZEXPORT inflateSyncPoint(z)
361z_streamp z;
362{
363  if (z == Z_NULL || z->state == Z_NULL || z->state->blocks == Z_NULL)
364    return Z_STREAM_ERROR;
365  return inflate_blocks_sync_point(z->state->blocks);
366}
367