defer.in
上传用户:andy_li
上传日期:2007-01-06
资源大小:1019k
文件大小:2k
源码类别:

压缩解压

开发平台:

MultiPlatform

  1. [Regarding an optimization to the bounds-checking code in the core
  2.  NEXTBYTE macro, which code is absolutely vital to the proper processing
  3.  of corrupt zipfiles (lack of checking can result in an infinite loop)
  4.  but which also slows processing.]
  5. The key to the solution is a pair of small functions called
  6. defer_leftover_input() and undefer_input().  The idea is, whenever
  7. you are going to be processing input using NEXTBYTE, you call
  8. defer_leftover_input(), and whenever you are going to process input by
  9. any other means, such as readbuf(), ZLSEEK, or directly reading stuff
  10. into G.inbuf, you call undefer_input().  What defer_leftover_input()
  11. does is adjust G.incnt so that any data beyond the current end of file
  12. is not visible.  undefer_input() restores it to visibility.  So when
  13. you're calling NEXTBYTE (or NEEDBITS or READBITS), an end-of-data
  14. condition only occurs at the same time as an end-of-buffer condition,
  15. and can be handled inside readbyte() instead of needing a check in the
  16. NEXTBYTE macro.  Note: none of this applies to fUnZip.
  17. In order for this to work, certain conditions have to be met:
  18.   1) NEXTBYTE input must not be mixed with other forms of input involving
  19.      G.inptr and G.incnt.  They must be separated by defer/undefer.
  20.      
  21.   I believe this condition is fully met by simply bracketing the central
  22.   part of extract_or_test_member with defer/undefer, around the part
  23.   where the actual decompression is done, and another defer/undefer pair
  24.   in decrypt() around the reading of the RAND_HEADER_LEN password bytes.
  25.   When USE_ZLIB is defined, I think that calls of fillinbuf() must be
  26.   bracketed by defer/undefer.
  27.   2) G.csize must not be assumed to contain the number of bytes left to
  28.      process, when decompressing with NEXTBYTE.  Instead, it contains
  29.      the number of bytes left after the current buffer is exausted.  To
  30.      check the number of bytes remaining, use (G.csize + G.incnt).
  31.   I believe the only places this change was needed were in explode.c,
  32.   mostly in the check at the end of each explode function that tests
  33.   whether the correct number of bytes has been read.  G.incnt will
  34.   normally be zero at that time anyway.  The other place is the line
  35.   that says "bd = G.csize > 200000L ? 8 : 7;" but that's just a rough
  36.   heuristic anyway.
  37. [Paul Kienitz]