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