schema_version = 1
id = "compression.deflate_decompress"
archetype = "compression-bytes-to-bytes"
display_name = "Raw DEFLATE Decompress"
summary = "RFC 1951 raw DEFLATE byte stream decompression with expansion-ratio defense."
category = "A"
composition_of = [
"primitive.math.add",
"primitive.math.sub",
"primitive.bitwise.and",
"primitive.bitwise.or",
"primitive.bitwise.shl",
"primitive.bitwise.shr",
"primitive.compare.gt",
]
[signature]
inputs = ["Bytes"]
output = "Bytes"
laws = [
"Bounded",
]
equivalence_classes = [
"empty_stored_block",
"fixed_huffman_literals",
"dynamic_huffman_literals",
"decompression_bomb",
]
workgroup_size = [1, 1, 1]
tags = ["compression", "deflate", "rfc1951", "bomb-defense"]
fixtures_dir = "fixtures/"
[runtime]
max_output_ratio = 1024