1*37da2899SCharles.Forsyth /* inflate.c -- zlib interface to inflate modules
2*37da2899SCharles.Forsyth * Copyright (C) 1995-2002 Mark Adler
3*37da2899SCharles.Forsyth * For conditions of distribution and use, see copyright notice in zlib.h
4*37da2899SCharles.Forsyth */
5*37da2899SCharles.Forsyth
6*37da2899SCharles.Forsyth #include "zutil.h"
7*37da2899SCharles.Forsyth #include "infblock.h"
8*37da2899SCharles.Forsyth
9*37da2899SCharles.Forsyth #define DONE INFLATE_DONE
10*37da2899SCharles.Forsyth #define BAD INFLATE_BAD
11*37da2899SCharles.Forsyth
12*37da2899SCharles.Forsyth typedef enum {
13*37da2899SCharles.Forsyth METHOD, /* waiting for method byte */
14*37da2899SCharles.Forsyth FLAG, /* waiting for flag byte */
15*37da2899SCharles.Forsyth DICT4, /* four dictionary check bytes to go */
16*37da2899SCharles.Forsyth DICT3, /* three dictionary check bytes to go */
17*37da2899SCharles.Forsyth DICT2, /* two dictionary check bytes to go */
18*37da2899SCharles.Forsyth DICT1, /* one dictionary check byte to go */
19*37da2899SCharles.Forsyth DICT0, /* waiting for inflateSetDictionary */
20*37da2899SCharles.Forsyth BLOCKS, /* decompressing blocks */
21*37da2899SCharles.Forsyth CHECK4, /* four check bytes to go */
22*37da2899SCharles.Forsyth CHECK3, /* three check bytes to go */
23*37da2899SCharles.Forsyth CHECK2, /* two check bytes to go */
24*37da2899SCharles.Forsyth CHECK1, /* one check byte to go */
25*37da2899SCharles.Forsyth DONE, /* finished check, done */
26*37da2899SCharles.Forsyth BAD} /* got an error--stay here */
27*37da2899SCharles.Forsyth inflate_mode;
28*37da2899SCharles.Forsyth
29*37da2899SCharles.Forsyth /* inflate private state */
30*37da2899SCharles.Forsyth struct internal_state {
31*37da2899SCharles.Forsyth
32*37da2899SCharles.Forsyth /* mode */
33*37da2899SCharles.Forsyth inflate_mode mode; /* current inflate mode */
34*37da2899SCharles.Forsyth
35*37da2899SCharles.Forsyth /* mode dependent information */
36*37da2899SCharles.Forsyth union {
37*37da2899SCharles.Forsyth uInt method; /* if FLAGS, method byte */
38*37da2899SCharles.Forsyth struct {
39*37da2899SCharles.Forsyth uLong was; /* computed check value */
40*37da2899SCharles.Forsyth uLong need; /* stream check value */
41*37da2899SCharles.Forsyth } check; /* if CHECK, check values to compare */
42*37da2899SCharles.Forsyth uInt marker; /* if BAD, inflateSync's marker bytes count */
43*37da2899SCharles.Forsyth } sub; /* submode */
44*37da2899SCharles.Forsyth
45*37da2899SCharles.Forsyth /* mode independent information */
46*37da2899SCharles.Forsyth int nowrap; /* flag for no wrapper */
47*37da2899SCharles.Forsyth uInt wbits; /* log2(window size) (8..15, defaults to 15) */
48*37da2899SCharles.Forsyth inflate_blocks_statef
49*37da2899SCharles.Forsyth *blocks; /* current inflate_blocks state */
50*37da2899SCharles.Forsyth
51*37da2899SCharles.Forsyth };
52*37da2899SCharles.Forsyth
53*37da2899SCharles.Forsyth
inflateReset(z)54*37da2899SCharles.Forsyth int ZEXPORT inflateReset(z)
55*37da2899SCharles.Forsyth z_streamp z;
56*37da2899SCharles.Forsyth {
57*37da2899SCharles.Forsyth if (z == Z_NULL || z->state == Z_NULL)
58*37da2899SCharles.Forsyth return Z_STREAM_ERROR;
59*37da2899SCharles.Forsyth z->total_in = z->total_out = 0;
60*37da2899SCharles.Forsyth z->msg = Z_NULL;
61*37da2899SCharles.Forsyth z->state->mode = z->state->nowrap ? BLOCKS : METHOD;
62*37da2899SCharles.Forsyth inflate_blocks_reset(z->state->blocks, z, Z_NULL);
63*37da2899SCharles.Forsyth Tracev((stderr, "inflate: reset\n"));
64*37da2899SCharles.Forsyth return Z_OK;
65*37da2899SCharles.Forsyth }
66*37da2899SCharles.Forsyth
67*37da2899SCharles.Forsyth
inflateEnd(z)68*37da2899SCharles.Forsyth int ZEXPORT inflateEnd(z)
69*37da2899SCharles.Forsyth z_streamp z;
70*37da2899SCharles.Forsyth {
71*37da2899SCharles.Forsyth if (z == Z_NULL || z->state == Z_NULL || z->zfree == Z_NULL)
72*37da2899SCharles.Forsyth return Z_STREAM_ERROR;
73*37da2899SCharles.Forsyth if (z->state->blocks != Z_NULL)
74*37da2899SCharles.Forsyth inflate_blocks_free(z->state->blocks, z);
75*37da2899SCharles.Forsyth ZFREE(z, z->state);
76*37da2899SCharles.Forsyth z->state = Z_NULL;
77*37da2899SCharles.Forsyth Tracev((stderr, "inflate: end\n"));
78*37da2899SCharles.Forsyth return Z_OK;
79*37da2899SCharles.Forsyth }
80*37da2899SCharles.Forsyth
81*37da2899SCharles.Forsyth
inflateInit2_(z,w,version,stream_size)82*37da2899SCharles.Forsyth int ZEXPORT inflateInit2_(z, w, version, stream_size)
83*37da2899SCharles.Forsyth z_streamp z;
84*37da2899SCharles.Forsyth int w;
85*37da2899SCharles.Forsyth const char *version;
86*37da2899SCharles.Forsyth int stream_size;
87*37da2899SCharles.Forsyth {
88*37da2899SCharles.Forsyth if (version == Z_NULL || version[0] != ZLIB_VERSION[0] ||
89*37da2899SCharles.Forsyth stream_size != sizeof(z_stream))
90*37da2899SCharles.Forsyth return Z_VERSION_ERROR;
91*37da2899SCharles.Forsyth
92*37da2899SCharles.Forsyth /* initialize state */
93*37da2899SCharles.Forsyth if (z == Z_NULL)
94*37da2899SCharles.Forsyth return Z_STREAM_ERROR;
95*37da2899SCharles.Forsyth z->msg = Z_NULL;
96*37da2899SCharles.Forsyth if (z->zalloc == Z_NULL)
97*37da2899SCharles.Forsyth {
98*37da2899SCharles.Forsyth z->zalloc = zcalloc;
99*37da2899SCharles.Forsyth z->opaque = (voidpf)0;
100*37da2899SCharles.Forsyth }
101*37da2899SCharles.Forsyth if (z->zfree == Z_NULL) z->zfree = zcfree;
102*37da2899SCharles.Forsyth if ((z->state = (struct internal_state FAR *)
103*37da2899SCharles.Forsyth ZALLOC(z,1,sizeof(struct internal_state))) == Z_NULL)
104*37da2899SCharles.Forsyth return Z_MEM_ERROR;
105*37da2899SCharles.Forsyth z->state->blocks = Z_NULL;
106*37da2899SCharles.Forsyth
107*37da2899SCharles.Forsyth /* handle undocumented nowrap option (no zlib header or check) */
108*37da2899SCharles.Forsyth z->state->nowrap = 0;
109*37da2899SCharles.Forsyth if (w < 0)
110*37da2899SCharles.Forsyth {
111*37da2899SCharles.Forsyth w = - w;
112*37da2899SCharles.Forsyth z->state->nowrap = 1;
113*37da2899SCharles.Forsyth }
114*37da2899SCharles.Forsyth
115*37da2899SCharles.Forsyth /* set window size */
116*37da2899SCharles.Forsyth if (w < 8 || w > 15)
117*37da2899SCharles.Forsyth {
118*37da2899SCharles.Forsyth inflateEnd(z);
119*37da2899SCharles.Forsyth return Z_STREAM_ERROR;
120*37da2899SCharles.Forsyth }
121*37da2899SCharles.Forsyth z->state->wbits = (uInt)w;
122*37da2899SCharles.Forsyth
123*37da2899SCharles.Forsyth /* create inflate_blocks state */
124*37da2899SCharles.Forsyth if ((z->state->blocks =
125*37da2899SCharles.Forsyth inflate_blocks_new(z, z->state->nowrap ? Z_NULL : adler32, (uInt)1 << w))
126*37da2899SCharles.Forsyth == Z_NULL)
127*37da2899SCharles.Forsyth {
128*37da2899SCharles.Forsyth inflateEnd(z);
129*37da2899SCharles.Forsyth return Z_MEM_ERROR;
130*37da2899SCharles.Forsyth }
131*37da2899SCharles.Forsyth Tracev((stderr, "inflate: allocated\n"));
132*37da2899SCharles.Forsyth
133*37da2899SCharles.Forsyth /* reset state */
134*37da2899SCharles.Forsyth inflateReset(z);
135*37da2899SCharles.Forsyth return Z_OK;
136*37da2899SCharles.Forsyth }
137*37da2899SCharles.Forsyth
138*37da2899SCharles.Forsyth
139*37da2899SCharles.Forsyth
140*37da2899SCharles.Forsyth #undef NEEDBYTE
141*37da2899SCharles.Forsyth #define NEEDBYTE {if(z->avail_in==0)return r;r=f;}
142*37da2899SCharles.Forsyth
143*37da2899SCharles.Forsyth #undef NEXTBYTE
144*37da2899SCharles.Forsyth #define NEXTBYTE (z->avail_in--,z->total_in++,*z->next_in++)
145*37da2899SCharles.Forsyth
146*37da2899SCharles.Forsyth
inflate(z,f)147*37da2899SCharles.Forsyth int ZEXPORT inflate(z, f)
148*37da2899SCharles.Forsyth z_streamp z;
149*37da2899SCharles.Forsyth int f;
150*37da2899SCharles.Forsyth {
151*37da2899SCharles.Forsyth int r;
152*37da2899SCharles.Forsyth uInt b;
153*37da2899SCharles.Forsyth
154*37da2899SCharles.Forsyth if (z == Z_NULL || z->state == Z_NULL || z->next_in == Z_NULL)
155*37da2899SCharles.Forsyth return Z_STREAM_ERROR;
156*37da2899SCharles.Forsyth f = f == Z_FINISH ? Z_BUF_ERROR : Z_OK;
157*37da2899SCharles.Forsyth r = Z_BUF_ERROR;
158*37da2899SCharles.Forsyth while (1) switch (z->state->mode)
159*37da2899SCharles.Forsyth {
160*37da2899SCharles.Forsyth case METHOD:
161*37da2899SCharles.Forsyth NEEDBYTE
162*37da2899SCharles.Forsyth if (((z->state->sub.method = NEXTBYTE) & 0xf) != Z_DEFLATED)
163*37da2899SCharles.Forsyth {
164*37da2899SCharles.Forsyth z->state->mode = BAD;
165*37da2899SCharles.Forsyth z->msg = (char*)"unknown compression method";
166*37da2899SCharles.Forsyth z->state->sub.marker = 5; /* can't try inflateSync */
167*37da2899SCharles.Forsyth break;
168*37da2899SCharles.Forsyth }
169*37da2899SCharles.Forsyth if ((z->state->sub.method >> 4) + 8 > z->state->wbits)
170*37da2899SCharles.Forsyth {
171*37da2899SCharles.Forsyth z->state->mode = BAD;
172*37da2899SCharles.Forsyth z->msg = (char*)"invalid window size";
173*37da2899SCharles.Forsyth z->state->sub.marker = 5; /* can't try inflateSync */
174*37da2899SCharles.Forsyth break;
175*37da2899SCharles.Forsyth }
176*37da2899SCharles.Forsyth z->state->mode = FLAG;
177*37da2899SCharles.Forsyth case FLAG:
178*37da2899SCharles.Forsyth NEEDBYTE
179*37da2899SCharles.Forsyth b = NEXTBYTE;
180*37da2899SCharles.Forsyth if (((z->state->sub.method << 8) + b) % 31)
181*37da2899SCharles.Forsyth {
182*37da2899SCharles.Forsyth z->state->mode = BAD;
183*37da2899SCharles.Forsyth z->msg = (char*)"incorrect header check";
184*37da2899SCharles.Forsyth z->state->sub.marker = 5; /* can't try inflateSync */
185*37da2899SCharles.Forsyth break;
186*37da2899SCharles.Forsyth }
187*37da2899SCharles.Forsyth Tracev((stderr, "inflate: zlib header ok\n"));
188*37da2899SCharles.Forsyth if (!(b & PRESET_DICT))
189*37da2899SCharles.Forsyth {
190*37da2899SCharles.Forsyth z->state->mode = BLOCKS;
191*37da2899SCharles.Forsyth break;
192*37da2899SCharles.Forsyth }
193*37da2899SCharles.Forsyth z->state->mode = DICT4;
194*37da2899SCharles.Forsyth case DICT4:
195*37da2899SCharles.Forsyth NEEDBYTE
196*37da2899SCharles.Forsyth z->state->sub.check.need = (uLong)NEXTBYTE << 24;
197*37da2899SCharles.Forsyth z->state->mode = DICT3;
198*37da2899SCharles.Forsyth case DICT3:
199*37da2899SCharles.Forsyth NEEDBYTE
200*37da2899SCharles.Forsyth z->state->sub.check.need += (uLong)NEXTBYTE << 16;
201*37da2899SCharles.Forsyth z->state->mode = DICT2;
202*37da2899SCharles.Forsyth case DICT2:
203*37da2899SCharles.Forsyth NEEDBYTE
204*37da2899SCharles.Forsyth z->state->sub.check.need += (uLong)NEXTBYTE << 8;
205*37da2899SCharles.Forsyth z->state->mode = DICT1;
206*37da2899SCharles.Forsyth case DICT1:
207*37da2899SCharles.Forsyth NEEDBYTE
208*37da2899SCharles.Forsyth z->state->sub.check.need += (uLong)NEXTBYTE;
209*37da2899SCharles.Forsyth z->adler = z->state->sub.check.need;
210*37da2899SCharles.Forsyth z->state->mode = DICT0;
211*37da2899SCharles.Forsyth return Z_NEED_DICT;
212*37da2899SCharles.Forsyth case DICT0:
213*37da2899SCharles.Forsyth z->state->mode = BAD;
214*37da2899SCharles.Forsyth z->msg = (char*)"need dictionary";
215*37da2899SCharles.Forsyth z->state->sub.marker = 0; /* can try inflateSync */
216*37da2899SCharles.Forsyth return Z_STREAM_ERROR;
217*37da2899SCharles.Forsyth case BLOCKS:
218*37da2899SCharles.Forsyth r = inflate_blocks(z->state->blocks, z, r);
219*37da2899SCharles.Forsyth if (r == Z_DATA_ERROR)
220*37da2899SCharles.Forsyth {
221*37da2899SCharles.Forsyth z->state->mode = BAD;
222*37da2899SCharles.Forsyth z->state->sub.marker = 0; /* can try inflateSync */
223*37da2899SCharles.Forsyth break;
224*37da2899SCharles.Forsyth }
225*37da2899SCharles.Forsyth if (r == Z_OK)
226*37da2899SCharles.Forsyth r = f;
227*37da2899SCharles.Forsyth if (r != Z_STREAM_END)
228*37da2899SCharles.Forsyth return r;
229*37da2899SCharles.Forsyth r = f;
230*37da2899SCharles.Forsyth inflate_blocks_reset(z->state->blocks, z, &z->state->sub.check.was);
231*37da2899SCharles.Forsyth if (z->state->nowrap)
232*37da2899SCharles.Forsyth {
233*37da2899SCharles.Forsyth z->state->mode = DONE;
234*37da2899SCharles.Forsyth break;
235*37da2899SCharles.Forsyth }
236*37da2899SCharles.Forsyth z->state->mode = CHECK4;
237*37da2899SCharles.Forsyth case CHECK4:
238*37da2899SCharles.Forsyth NEEDBYTE
239*37da2899SCharles.Forsyth z->state->sub.check.need = (uLong)NEXTBYTE << 24;
240*37da2899SCharles.Forsyth z->state->mode = CHECK3;
241*37da2899SCharles.Forsyth case CHECK3:
242*37da2899SCharles.Forsyth NEEDBYTE
243*37da2899SCharles.Forsyth z->state->sub.check.need += (uLong)NEXTBYTE << 16;
244*37da2899SCharles.Forsyth z->state->mode = CHECK2;
245*37da2899SCharles.Forsyth case CHECK2:
246*37da2899SCharles.Forsyth NEEDBYTE
247*37da2899SCharles.Forsyth z->state->sub.check.need += (uLong)NEXTBYTE << 8;
248*37da2899SCharles.Forsyth z->state->mode = CHECK1;
249*37da2899SCharles.Forsyth case CHECK1:
250*37da2899SCharles.Forsyth NEEDBYTE
251*37da2899SCharles.Forsyth z->state->sub.check.need += (uLong)NEXTBYTE;
252*37da2899SCharles.Forsyth
253*37da2899SCharles.Forsyth if (z->state->sub.check.was != z->state->sub.check.need)
254*37da2899SCharles.Forsyth {
255*37da2899SCharles.Forsyth z->state->mode = BAD;
256*37da2899SCharles.Forsyth z->msg = (char*)"incorrect data check";
257*37da2899SCharles.Forsyth z->state->sub.marker = 5; /* can't try inflateSync */
258*37da2899SCharles.Forsyth break;
259*37da2899SCharles.Forsyth }
260*37da2899SCharles.Forsyth Tracev((stderr, "inflate: zlib check ok\n"));
261*37da2899SCharles.Forsyth z->state->mode = DONE;
262*37da2899SCharles.Forsyth case DONE:
263*37da2899SCharles.Forsyth return Z_STREAM_END;
264*37da2899SCharles.Forsyth case BAD:
265*37da2899SCharles.Forsyth return Z_DATA_ERROR;
266*37da2899SCharles.Forsyth default:
267*37da2899SCharles.Forsyth return Z_STREAM_ERROR;
268*37da2899SCharles.Forsyth }
269*37da2899SCharles.Forsyth #ifdef NEED_DUMMY_RETURN
270*37da2899SCharles.Forsyth return Z_STREAM_ERROR; /* Some dumb compilers complain without this */
271*37da2899SCharles.Forsyth #endif
272*37da2899SCharles.Forsyth }
273*37da2899SCharles.Forsyth
274