inflate.c 6.9 KB
Newer Older
M
Mark Adler 已提交
1
/* inflate.c -- zlib interface to inflate modules
M
Mark Adler 已提交
2
 * Copyright (C) 1995 Mark Adler
M
Mark Adler 已提交
3 4 5 6 7 8 9 10 11 12 13 14 15
 * 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 */

/* inflate private state */
struct internal_state {

  /* mode */
  enum {
M
Mark Adler 已提交
16 17 18 19 20 21 22 23 24 25
      METHOD,   /* waiting for method byte */
      FLAG,     /* waiting for flag byte */
      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 */
    mode;               /* current inflate mode */
M
Mark Adler 已提交
26 27 28

  /* mode dependent information */
  union {
M
Mark Adler 已提交
29
    uInt method;        /* if FLAGS, method byte */
M
Mark Adler 已提交
30
    struct {
M
Mark Adler 已提交
31 32 33
      uLong was;                /* computed check value */
      uLong need;               /* stream check value */
    } check;            /* if CHECK, check values to compare */
M
Mark Adler 已提交
34 35
    uInt marker;        /* if BAD, inflateSync's marker bytes count */
  } sub;        /* submode */
M
Mark Adler 已提交
36 37

  /* mode independent information */
M
Mark Adler 已提交
38 39
  int  nowrap;          /* flag for no wrapper */
  uInt wbits;           /* log2(window size)  (8..15, defaults to 15) */
M
Mark Adler 已提交
40
  inflate_blocks_statef 
M
Mark Adler 已提交
41
    *blocks;            /* current inflate_blocks state */
M
Mark Adler 已提交
42

M
Mark Adler 已提交
43 44 45
};


M
Mark Adler 已提交
46
int inflateReset(z)
M
Mark Adler 已提交
47
z_stream *z;
M
Mark Adler 已提交
48
{
M
Mark Adler 已提交
49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74
  uLong c;

  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;
  inflate_blocks_reset(z->state->blocks, z, &c);
  Trace((stderr, "inflate: reset\n"));
  return Z_OK;
}


int inflateEnd(z)
z_stream *z;
{
  uLong c;

  if (z == Z_NULL || z->state == Z_NULL || z->zfree == Z_NULL)
    return Z_STREAM_ERROR;
  if (z->state->blocks != Z_NULL)
    inflate_blocks_free(z->state->blocks, z, &c);
  ZFREE(z, z->state);
  z->state = Z_NULL;
  Trace((stderr, "inflate: end\n"));
  return Z_OK;
M
Mark Adler 已提交
75 76
}

M
Mark Adler 已提交
77

M
Mark Adler 已提交
78
int inflateInit2(z, w)
M
Mark Adler 已提交
79
z_stream *z;
M
Mark Adler 已提交
80
int w;
M
Mark Adler 已提交
81
{
M
Mark Adler 已提交
82
  /* initialize state */
M
Mark Adler 已提交
83 84
  if (z == Z_NULL)
    return Z_STREAM_ERROR;
M
Mark Adler 已提交
85 86 87 88 89 90
  z->msg = Z_NULL;
  if (z->zalloc == Z_NULL)
  {
    z->zalloc = zcalloc;
    z->opaque = (voidpf)0;
  }
M
Mark Adler 已提交
91
  if (z->zfree == Z_NULL) z->zfree = zcfree;
M
Mark Adler 已提交
92
  if ((z->state = (struct internal_state FAR *)
M
Mark Adler 已提交
93 94
       ZALLOC(z,1,sizeof(struct internal_state))) == Z_NULL)
    return Z_MEM_ERROR;
M
Mark Adler 已提交
95
  z->state->blocks = Z_NULL;
M
Mark Adler 已提交
96

M
Mark Adler 已提交
97 98 99 100 101 102
  /* 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 已提交
103
  }
M
Mark Adler 已提交
104 105 106 107

  /* set window size */
  if (w < 8 || w > 15)
  {
M
Mark Adler 已提交
108 109 110
    inflateEnd(z);
    return Z_STREAM_ERROR;
  }
M
Mark Adler 已提交
111 112 113 114
  z->state->wbits = (uInt)w;

  /* create inflate_blocks state */
  if ((z->state->blocks =
M
Mark Adler 已提交
115
       inflate_blocks_new(z, z->state->nowrap ? Z_NULL : adler32, 1 << w))
M
Mark Adler 已提交
116 117 118 119 120 121 122 123 124
      == Z_NULL)
  {
    inflateEnd(z);
    return Z_MEM_ERROR;
  }
  Trace((stderr, "inflate: allocated\n"));

  /* reset state */
  inflateReset(z);
M
Mark Adler 已提交
125 126 127 128
  return Z_OK;
}


M
Mark Adler 已提交
129
int inflateInit(z)
M
Mark Adler 已提交
130 131
z_stream *z;
{
M
Mark Adler 已提交
132
  return inflateInit2(z, DEF_WBITS);
M
Mark Adler 已提交
133 134 135 136
}


#define NEEDBYTE {if(z->avail_in==0)return r;r=Z_OK;}
M
Mark Adler 已提交
137 138 139 140 141 142
#define NEXTBYTE (z->avail_in--,z->total_in++,*z->next_in++)

int inflate(z, f)
z_stream *z;
int f;
{
M
Mark Adler 已提交
143
  int r = f;    /* to avoid warning about unused f */
M
Mark Adler 已提交
144 145
  uInt b;

M
Mark Adler 已提交
146
  if (z == Z_NULL || z->next_in == Z_NULL)
M
Mark Adler 已提交
147 148 149 150 151
    return Z_STREAM_ERROR;
  r = Z_BUF_ERROR;
  while (1) switch (z->state->mode)
  {
    case METHOD:
M
Mark Adler 已提交
152
      NEEDBYTE
M
Mark Adler 已提交
153
      if (((z->state->sub.method = NEXTBYTE) & 0xf) != Z_DEFLATED)
M
Mark Adler 已提交
154
      {
M
Mark Adler 已提交
155
        z->state->mode = BAD;
M
Mark Adler 已提交
156
        z->msg = "unknown compression method";
M
Mark Adler 已提交
157 158
        z->state->sub.marker = 5;       /* can't try inflateSync */
        break;
M
Mark Adler 已提交
159
      }
M
Mark Adler 已提交
160
      if ((z->state->sub.method >> 4) + 8 > z->state->wbits)
M
Mark Adler 已提交
161
      {
M
Mark Adler 已提交
162
        z->state->mode = BAD;
M
Mark Adler 已提交
163
        z->msg = "invalid window size";
M
Mark Adler 已提交
164 165
        z->state->sub.marker = 5;       /* can't try inflateSync */
        break;
M
Mark Adler 已提交
166 167 168
      }
      z->state->mode = FLAG;
    case FLAG:
M
Mark Adler 已提交
169
      NEEDBYTE
M
Mark Adler 已提交
170
      if ((b = NEXTBYTE) & 0x20)
M
Mark Adler 已提交
171
      {
M
Mark Adler 已提交
172
        z->state->mode = BAD;
M
Mark Adler 已提交
173
        z->msg = "invalid reserved bit";
M
Mark Adler 已提交
174 175
        z->state->sub.marker = 5;       /* can't try inflateSync */
        break;
M
Mark Adler 已提交
176
      }
M
Mark Adler 已提交
177
      if (((z->state->sub.method << 8) + b) % 31)
M
Mark Adler 已提交
178
      {
M
Mark Adler 已提交
179 180 181 182
        z->state->mode = BAD;
        z->msg = "incorrect header check";
        z->state->sub.marker = 5;       /* can't try inflateSync */
        break;
M
Mark Adler 已提交
183
      }
M
Mark Adler 已提交
184 185
      Trace((stderr, "inflate: zlib header ok\n"));
      z->state->mode = BLOCKS;
M
Mark Adler 已提交
186
    case BLOCKS:
M
Mark Adler 已提交
187 188 189 190
      r = inflate_blocks(z->state->blocks, z, r);
      if (r == Z_DATA_ERROR)
      {
        z->state->mode = BAD;
M
Mark Adler 已提交
191 192
        z->state->sub.marker = 0;       /* can try inflateSync */
        break;
M
Mark Adler 已提交
193 194
      }
      if (r != Z_STREAM_END)
M
Mark Adler 已提交
195
        return r;
M
Mark Adler 已提交
196 197
      r = Z_OK;
      inflate_blocks_reset(z->state->blocks, z, &z->state->sub.check.was);
M
Mark Adler 已提交
198 199
      if (z->state->nowrap)
      {
M
Mark Adler 已提交
200 201
        z->state->mode = DONE;
        break;
M
Mark Adler 已提交
202 203 204
      }
      z->state->mode = CHECK4;
    case CHECK4:
M
Mark Adler 已提交
205
      NEEDBYTE
M
Mark Adler 已提交
206 207 208
      z->state->sub.check.need = (uLong)NEXTBYTE << 24;
      z->state->mode = CHECK3;
    case CHECK3:
M
Mark Adler 已提交
209
      NEEDBYTE
M
Mark Adler 已提交
210 211 212
      z->state->sub.check.need += (uLong)NEXTBYTE << 16;
      z->state->mode = CHECK2;
    case CHECK2:
M
Mark Adler 已提交
213
      NEEDBYTE
M
Mark Adler 已提交
214 215 216
      z->state->sub.check.need += (uLong)NEXTBYTE << 8;
      z->state->mode = CHECK1;
    case CHECK1:
M
Mark Adler 已提交
217
      NEEDBYTE
M
Mark Adler 已提交
218
      z->state->sub.check.need += (uLong)NEXTBYTE;
M
Mark Adler 已提交
219

M
Mark Adler 已提交
220 221
      if (z->state->sub.check.was != z->state->sub.check.need)
      {
M
Mark Adler 已提交
222
        z->state->mode = BAD;
M
Mark Adler 已提交
223
        z->msg = "incorrect data check";
M
Mark Adler 已提交
224 225
        z->state->sub.marker = 5;       /* can't try inflateSync */
        break;
M
Mark Adler 已提交
226
      }
M
Mark Adler 已提交
227
      Trace((stderr, "inflate: zlib check ok\n"));
M
Mark Adler 已提交
228 229 230
      z->state->mode = DONE;
    case DONE:
      return Z_STREAM_END;
M
Mark Adler 已提交
231
    case BAD:
M
Mark Adler 已提交
232 233 234 235 236 237 238
      return Z_DATA_ERROR;
    default:
      return Z_STREAM_ERROR;
  }
}


M
Mark Adler 已提交
239
int inflateSync(z)
M
Mark Adler 已提交
240 241
z_stream *z;
{
M
Mark Adler 已提交
242
  uInt n;       /* number of bytes to look at */
M
Mark Adler 已提交
243
  Bytef *p;     /* pointer to bytes */
M
Mark Adler 已提交
244 245
  uInt m;       /* number of marker bytes found in a row */
  uLong r, w;   /* temporaries to save total_in and total_out */
M
Mark Adler 已提交
246

M
Mark Adler 已提交
247 248
  /* set up */
  if (z == Z_NULL || z->state == Z_NULL)
M
Mark Adler 已提交
249
    return Z_STREAM_ERROR;
M
Mark Adler 已提交
250
  if (z->state->mode != BAD)
M
Mark Adler 已提交
251 252
  {
    z->state->mode = BAD;
M
Mark Adler 已提交
253
    z->state->sub.marker = 0;
M
Mark Adler 已提交
254
  }
M
Mark Adler 已提交
255 256 257 258
  if ((n = z->avail_in) == 0)
    return Z_BUF_ERROR;
  p = z->next_in;
  m = z->state->sub.marker;
M
Mark Adler 已提交
259

M
Mark Adler 已提交
260 261 262
  /* search */
  while (n && m < 4)
  {
M
Mark Adler 已提交
263
    if (*p == (Byte)(m < 2 ? 0 : 0xff))
M
Mark Adler 已提交
264
      m++;
M
Mark Adler 已提交
265
    else if (*p)
M
Mark Adler 已提交
266
      m = 0;
M
Mark Adler 已提交
267 268
    else
      m = 4 - m;
M
Mark Adler 已提交
269 270
    p++, n--;
  }
M
Mark Adler 已提交
271

M
Mark Adler 已提交
272 273 274 275 276
  /* restore */
  z->total_in += p - z->next_in;
  z->next_in = p;
  z->avail_in = n;
  z->state->sub.marker = m;
M
Mark Adler 已提交
277

M
Mark Adler 已提交
278 279 280 281 282 283 284 285
  /* 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 已提交
286
}