schema_version = 1
id = "compression.gzip_decompress"
archetype = "compression-bytes-to-bytes"
display_name = "gzip Decompress"
summary = "RFC 1952 gzip member decompression with CRC-32, ISIZE, and expansion-ratio defense."
category = "A"
composition_of = [
"compression.deflate_decompress",
"primitive.math.add",
"primitive.bitwise.and",
"primitive.compare.gt",
]
[signature]
inputs = ["Bytes"]
output = "Bytes"
laws = [
"Bounded",
]
equivalence_classes = [
"rfc1952_sample",
"empty",
"bad_crc32",
"decompression_bomb",
]
workgroup_size = [1, 1, 1]
tags = ["compression", "gzip", "rfc1952", "crc32", "bomb-defense"]
fixtures_dir = "fixtures/"
[runtime]
max_output_ratio = 1024