mirror of
https://github.com/SickGear/SickGear.git
synced 2024-11-22 21:05:05 +00:00
337 lines
14 KiB
Python
337 lines
14 KiB
Python
|
"""Detailed ZLIB parser
|
||
|
|
|
||
|
|
Author: Robert Xiao
|
||
|
|
Creation date: July 9 2007
|
||
|
|
|
||
|
|
"""
|
||
|
|
|
||
|
|
from hachoir.parser import Parser
|
||
|
|
from hachoir.field import (Bit, Bits, Field, Int16, UInt32,
|
||
|
|
Enum, FieldSet, GenericFieldSet,
|
||
|
|
PaddingBits, ParserError, RawBytes)
|
||
|
|
from hachoir.core.endian import LITTLE_ENDIAN
|
||
|
|
from hachoir.core.text_handler import textHandler, hexadecimal
|
||
|
|
from hachoir.core.tools import paddingSize, alignValue
|
||
|
|
|
||
|
|
|
||
|
|
def extend_data(data, length, offset):
|
||
|
|
"""Extend data using a length and an offset."""
|
||
|
|
if length >= offset:
|
||
|
|
new_data = data[-offset:] * (alignValue(length, offset) // offset)
|
||
|
|
return data + new_data[:length]
|
||
|
|
else:
|
||
|
|
return data + data[-offset:-offset + length]
|
||
|
|
|
||
|
|
|
||
|
|
def build_tree(lengths):
|
||
|
|
"""Build a Huffman tree from a list of lengths.
|
||
|
|
The ith entry of the input list is the length of the Huffman code corresponding to
|
||
|
|
integer i, or 0 if the integer i is unused."""
|
||
|
|
max_length = max(lengths) + 1
|
||
|
|
bit_counts = [0] * max_length
|
||
|
|
next_code = [0] * max_length
|
||
|
|
tree = {}
|
||
|
|
for i in lengths:
|
||
|
|
if i:
|
||
|
|
bit_counts[i] += 1
|
||
|
|
code = 0
|
||
|
|
for i in range(1, len(bit_counts)):
|
||
|
|
next_code[i] = code = (code + bit_counts[i - 1]) << 1
|
||
|
|
for i, ln in enumerate(lengths):
|
||
|
|
if ln:
|
||
|
|
tree[(ln, next_code[ln])] = i
|
||
|
|
next_code[ln] += 1
|
||
|
|
return tree
|
||
|
|
|
||
|
|
|
||
|
|
class HuffmanCode(Field):
|
||
|
|
"""Huffman code. Uses tree parameter as the Huffman tree."""
|
||
|
|
|
||
|
|
def __init__(self, parent, name, tree, description=None):
|
||
|
|
Field.__init__(self, parent, name, 0, description)
|
||
|
|
|
||
|
|
endian = self.parent.endian
|
||
|
|
stream = self.parent.stream
|
||
|
|
addr = self.absolute_address
|
||
|
|
|
||
|
|
value = 0
|
||
|
|
while (self.size, value) not in tree:
|
||
|
|
if self.size > 256:
|
||
|
|
raise ParserError("Huffman code too long!")
|
||
|
|
bit = stream.readBits(addr, 1, endian)
|
||
|
|
value <<= 1
|
||
|
|
value += bit
|
||
|
|
self._size += 1
|
||
|
|
addr += 1
|
||
|
|
self.huffvalue = value
|
||
|
|
self.realvalue = tree[(self.size, value)]
|
||
|
|
|
||
|
|
def createValue(self):
|
||
|
|
return self.huffvalue
|
||
|
|
|
||
|
|
|
||
|
|
class DeflateBlock(FieldSet):
|
||
|
|
# code: (min, max, extrabits)
|
||
|
|
LENGTH_SYMBOLS = {257: (3, 3, 0),
|
||
|
|
258: (4, 4, 0),
|
||
|
|
259: (5, 5, 0),
|
||
|
|
260: (6, 6, 0),
|
||
|
|
261: (7, 7, 0),
|
||
|
|
262: (8, 8, 0),
|
||
|
|
263: (9, 9, 0),
|
||
|
|
264: (10, 10, 0),
|
||
|
|
265: (11, 12, 1),
|
||
|
|
266: (13, 14, 1),
|
||
|
|
267: (15, 16, 1),
|
||
|
|
268: (17, 18, 1),
|
||
|
|
269: (19, 22, 2),
|
||
|
|
270: (23, 26, 2),
|
||
|
|
271: (27, 30, 2),
|
||
|
|
272: (31, 34, 2),
|
||
|
|
273: (35, 42, 3),
|
||
|
|
274: (43, 50, 3),
|
||
|
|
275: (51, 58, 3),
|
||
|
|
276: (59, 66, 3),
|
||
|
|
277: (67, 82, 4),
|
||
|
|
278: (83, 98, 4),
|
||
|
|
279: (99, 114, 4),
|
||
|
|
280: (115, 130, 4),
|
||
|
|
281: (131, 162, 5),
|
||
|
|
282: (163, 194, 5),
|
||
|
|
283: (195, 226, 5),
|
||
|
|
284: (227, 257, 5),
|
||
|
|
285: (258, 258, 0)
|
||
|
|
}
|
||
|
|
DISTANCE_SYMBOLS = {0: (1, 1, 0),
|
||
|
|
1: (2, 2, 0),
|
||
|
|
2: (3, 3, 0),
|
||
|
|
3: (4, 4, 0),
|
||
|
|
4: (5, 6, 1),
|
||
|
|
5: (7, 8, 1),
|
||
|
|
6: (9, 12, 2),
|
||
|
|
7: (13, 16, 2),
|
||
|
|
8: (17, 24, 3),
|
||
|
|
9: (25, 32, 3),
|
||
|
|
10: (33, 48, 4),
|
||
|
|
11: (49, 64, 4),
|
||
|
|
12: (65, 96, 5),
|
||
|
|
13: (97, 128, 5),
|
||
|
|
14: (129, 192, 6),
|
||
|
|
15: (193, 256, 6),
|
||
|
|
16: (257, 384, 7),
|
||
|
|
17: (385, 512, 7),
|
||
|
|
18: (513, 768, 8),
|
||
|
|
19: (769, 1024, 8),
|
||
|
|
20: (1025, 1536, 9),
|
||
|
|
21: (1537, 2048, 9),
|
||
|
|
22: (2049, 3072, 10),
|
||
|
|
23: (3073, 4096, 10),
|
||
|
|
24: (4097, 6144, 11),
|
||
|
|
25: (6145, 8192, 11),
|
||
|
|
26: (8193, 12288, 12),
|
||
|
|
27: (12289, 16384, 12),
|
||
|
|
28: (16385, 24576, 13),
|
||
|
|
29: (24577, 32768, 13),
|
||
|
|
}
|
||
|
|
CODE_LENGTH_ORDER = [16, 17, 18, 0, 8, 7, 9,
|
||
|
|
6, 10, 5, 11, 4, 12, 3, 13, 2, 14, 1, 15]
|
||
|
|
|
||
|
|
def __init__(self, parent, name, uncomp_data="", *args, **kwargs):
|
||
|
|
FieldSet.__init__(self, parent, name, *args, **kwargs)
|
||
|
|
self.uncomp_data = uncomp_data
|
||
|
|
|
||
|
|
def createFields(self):
|
||
|
|
yield Bit(self, "final", "Is this the final block?") # BFINAL
|
||
|
|
yield Enum(Bits(self, "compression_type", 2), # BTYPE
|
||
|
|
{0: "None", 1: "Fixed Huffman", 2: "Dynamic Huffman", 3: "Reserved"})
|
||
|
|
if self["compression_type"].value == 0: # no compression
|
||
|
|
# align on byte boundary
|
||
|
|
padding = paddingSize(self.current_size + self.absolute_address, 8)
|
||
|
|
if padding:
|
||
|
|
yield PaddingBits(self, "padding[]", padding)
|
||
|
|
yield Int16(self, "len")
|
||
|
|
yield Int16(self, "nlen", "One's complement of len")
|
||
|
|
if self["len"].value != ~self["nlen"].value:
|
||
|
|
raise ParserError(
|
||
|
|
"len must be equal to the one's complement of nlen!")
|
||
|
|
# null stored blocks produced by some encoders (e.g. PIL)
|
||
|
|
if self["len"].value:
|
||
|
|
yield RawBytes(self, "data", self["len"].value, "Uncompressed data")
|
||
|
|
return
|
||
|
|
elif self["compression_type"].value == 1: # Fixed Huffman
|
||
|
|
length_tree = {} # (size, huffman code): value
|
||
|
|
distance_tree = {}
|
||
|
|
for i in range(144):
|
||
|
|
length_tree[(8, i + 48)] = i
|
||
|
|
for i in range(144, 256):
|
||
|
|
length_tree[(9, i + 256)] = i
|
||
|
|
for i in range(256, 280):
|
||
|
|
length_tree[(7, i - 256)] = i
|
||
|
|
for i in range(280, 288):
|
||
|
|
length_tree[(8, i - 88)] = i
|
||
|
|
for i in range(32):
|
||
|
|
distance_tree[(5, i)] = i
|
||
|
|
elif self["compression_type"].value == 2: # Dynamic Huffman
|
||
|
|
yield Bits(self, "huff_num_length_codes", 5, "Number of Literal/Length Codes, minus 257")
|
||
|
|
yield Bits(self, "huff_num_distance_codes", 5, "Number of Distance Codes, minus 1")
|
||
|
|
yield Bits(self, "huff_num_code_length_codes", 4, "Number of Code Length Codes, minus 4")
|
||
|
|
code_length_code_lengths = [0] * 19 # confusing variable name...
|
||
|
|
for i in self.CODE_LENGTH_ORDER[:self["huff_num_code_length_codes"].value + 4]:
|
||
|
|
field = Bits(
|
||
|
|
self, "huff_code_length_code[%i]" % i, 3, "Code lengths for the code length alphabet")
|
||
|
|
yield field
|
||
|
|
code_length_code_lengths[i] = field.value
|
||
|
|
code_length_tree = build_tree(code_length_code_lengths)
|
||
|
|
length_code_lengths = []
|
||
|
|
distance_code_lengths = []
|
||
|
|
for numcodes, name, lengths in (
|
||
|
|
(self["huff_num_length_codes"].value +
|
||
|
|
257, "length", length_code_lengths),
|
||
|
|
(self["huff_num_distance_codes"].value + 1, "distance", distance_code_lengths)):
|
||
|
|
while len(lengths) < numcodes:
|
||
|
|
field = HuffmanCode(self, "huff_%s_code[]" %
|
||
|
|
name, code_length_tree)
|
||
|
|
value = field.realvalue
|
||
|
|
if value < 16:
|
||
|
|
prev_value = value
|
||
|
|
field._description = "Literal Code Length %i (Huffman Code %i)" % (
|
||
|
|
value, field.value)
|
||
|
|
yield field
|
||
|
|
lengths.append(value)
|
||
|
|
else:
|
||
|
|
info = {16: (3, 6, 2),
|
||
|
|
17: (3, 10, 3),
|
||
|
|
18: (11, 138, 7)}[value]
|
||
|
|
if value == 16:
|
||
|
|
repvalue = prev_value
|
||
|
|
else:
|
||
|
|
repvalue = 0
|
||
|
|
field._description = "Repeat Code %i, Repeating value (%i) %i to %i times (Huffman Code %i)" % (
|
||
|
|
value, repvalue, info[0], info[1], field.value)
|
||
|
|
yield field
|
||
|
|
extrafield = Bits(self, "huff_%s_code_extra[%s" % (
|
||
|
|
name, field.name.split('[')[1]), info[2])
|
||
|
|
num_repeats = extrafield.value + info[0]
|
||
|
|
extrafield._description = "Repeat Extra Bits (%i), total repeats %i" % (
|
||
|
|
extrafield.value, num_repeats)
|
||
|
|
yield extrafield
|
||
|
|
lengths += [repvalue] * num_repeats
|
||
|
|
length_tree = build_tree(length_code_lengths)
|
||
|
|
distance_tree = build_tree(distance_code_lengths)
|
||
|
|
else:
|
||
|
|
raise ParserError("Unsupported compression type 3!")
|
||
|
|
while True:
|
||
|
|
field = HuffmanCode(self, "length_code[]", length_tree)
|
||
|
|
value = field.realvalue
|
||
|
|
if value < 256:
|
||
|
|
field._description = "Literal Code %r (Huffman Code %i)" % (
|
||
|
|
chr(value), field.value)
|
||
|
|
yield field
|
||
|
|
self.uncomp_data += chr(value)
|
||
|
|
if value == 256:
|
||
|
|
field._description = "Block Terminator Code (256) (Huffman Code %i)" % field.value
|
||
|
|
yield field
|
||
|
|
break
|
||
|
|
elif value > 256:
|
||
|
|
info = self.LENGTH_SYMBOLS[value]
|
||
|
|
if info[2] == 0:
|
||
|
|
field._description = "Length Code %i, Value %i (Huffman Code %i)" % (
|
||
|
|
value, info[0], field.value)
|
||
|
|
length = info[0]
|
||
|
|
yield field
|
||
|
|
else:
|
||
|
|
field._description = "Length Code %i, Values %i to %i (Huffman Code %i)" % (
|
||
|
|
value, info[0], info[1], field.value)
|
||
|
|
yield field
|
||
|
|
extrafield = Bits(
|
||
|
|
self, "length_extra[%s" % field.name.split('[')[1], info[2])
|
||
|
|
length = extrafield.value + info[0]
|
||
|
|
extrafield._description = "Length Extra Bits (%i), total length %i" % (
|
||
|
|
extrafield.value, length)
|
||
|
|
yield extrafield
|
||
|
|
field = HuffmanCode(self, "distance_code[]", distance_tree)
|
||
|
|
value = field.realvalue
|
||
|
|
info = self.DISTANCE_SYMBOLS[value]
|
||
|
|
if info[2] == 0:
|
||
|
|
field._description = "Distance Code %i, Value %i (Huffman Code %i)" % (
|
||
|
|
value, info[0], field.value)
|
||
|
|
distance = info[0]
|
||
|
|
yield field
|
||
|
|
else:
|
||
|
|
field._description = "Distance Code %i, Values %i to %i (Huffman Code %i)" % (
|
||
|
|
value, info[0], info[1], field.value)
|
||
|
|
yield field
|
||
|
|
extrafield = Bits(
|
||
|
|
self, "distance_extra[%s" % field.name.split('[')[1], info[2])
|
||
|
|
distance = extrafield.value + info[0]
|
||
|
|
extrafield._description = "Distance Extra Bits (%i), total length %i" % (
|
||
|
|
extrafield.value, distance)
|
||
|
|
yield extrafield
|
||
|
|
self.uncomp_data = extend_data(
|
||
|
|
self.uncomp_data, length, distance)
|
||
|
|
|
||
|
|
|
||
|
|
class DeflateData(GenericFieldSet):
|
||
|
|
endian = LITTLE_ENDIAN
|
||
|
|
|
||
|
|
def createFields(self):
|
||
|
|
uncomp_data = ""
|
||
|
|
blk = DeflateBlock(self, "compressed_block[]", uncomp_data)
|
||
|
|
yield blk
|
||
|
|
uncomp_data = blk.uncomp_data
|
||
|
|
while not blk["final"].value:
|
||
|
|
blk = DeflateBlock(self, "compressed_block[]", uncomp_data)
|
||
|
|
yield blk
|
||
|
|
uncomp_data = blk.uncomp_data
|
||
|
|
# align on byte boundary
|
||
|
|
padding = paddingSize(self.current_size + self.absolute_address, 8)
|
||
|
|
if padding:
|
||
|
|
yield PaddingBits(self, "padding[]", padding)
|
||
|
|
self.uncompressed_data = uncomp_data
|
||
|
|
|
||
|
|
|
||
|
|
class ZlibData(Parser):
|
||
|
|
PARSER_TAGS = {
|
||
|
|
"id": "zlib",
|
||
|
|
"category": "archive",
|
||
|
|
"file_ext": ("zlib",),
|
||
|
|
"min_size": 8 * 8,
|
||
|
|
"description": "ZLIB Data",
|
||
|
|
}
|
||
|
|
endian = LITTLE_ENDIAN
|
||
|
|
|
||
|
|
def validate(self):
|
||
|
|
if self["compression_method"].value != 8:
|
||
|
|
return "Incorrect compression method"
|
||
|
|
if ((self["compression_info"].value << 12) +
|
||
|
|
(self["compression_method"].value << 8) +
|
||
|
|
(self["flag_compression_level"].value << 6) +
|
||
|
|
(self["flag_dictionary_present"].value << 5) +
|
||
|
|
(self["flag_check_bits"].value)) % 31 != 0:
|
||
|
|
return "Invalid flag check value"
|
||
|
|
return True
|
||
|
|
|
||
|
|
def createFields(self):
|
||
|
|
# CM
|
||
|
|
yield Enum(Bits(self, "compression_method", 4), {8: "deflate", 15: "reserved"})
|
||
|
|
# CINFO
|
||
|
|
yield Bits(self, "compression_info", 4, "base-2 log of the window size")
|
||
|
|
yield Bits(self, "flag_check_bits", 5) # FCHECK
|
||
|
|
yield Bit(self, "flag_dictionary_present") # FDICT
|
||
|
|
yield Enum(Bits(self, "flag_compression_level", 2), # FLEVEL
|
||
|
|
{0: "Fastest", 1: "Fast", 2: "Default", 3: "Maximum, Slowest"})
|
||
|
|
if self["flag_dictionary_present"].value:
|
||
|
|
yield textHandler(UInt32(self, "dict_checksum", "ADLER32 checksum of dictionary information"), hexadecimal)
|
||
|
|
yield DeflateData(self, "data", self.stream, description="Compressed Data")
|
||
|
|
yield textHandler(UInt32(self, "data_checksum", "ADLER32 checksum of compressed data"), hexadecimal)
|
||
|
|
|
||
|
|
|
||
|
|
def zlib_inflate(stream, wbits=None, prevdata=""):
|
||
|
|
if wbits is None or wbits >= 0:
|
||
|
|
return ZlibData(stream)["data"].uncompressed_data
|
||
|
|
else:
|
||
|
|
data = DeflateData(None, "root", stream, "", stream.askSize(None))
|
||
|
|
for unused in data:
|
||
|
|
pass
|
||
|
|
return data.uncompressed_data
|