攻击者提供的缓冲区场景下可安全使用的解压算法有哪些

是否存在可触发异常的恶意字节序列 #

是，目前已知两类典型异常场景：

• 无限循环：部分老旧的解压实现存在边界判断缺陷，构造特定的畸形压缩头/编码表即可让解压逻辑永久无法终止，比如gzip 1.2.4 之前的版本就存在此类已知漏洞。
• 巨量内存占用：分两种触发场景，一种是畸形报文触发实现漏洞，比如部分早期bzip2实现未校验霍夫曼编码表的合法性就直接申请内存，可能出现远超预期的内存占用；另一种是符合算法规范的超高度压缩报文（即压缩炸弹），比如构造的gzip报文解压后体积是压缩前的数十万倍，完全符合deflate算法规范，但解压后会直接占满内存或磁盘。

异常属于算法固有特性还是实现漏洞 #

需要分场景判定：

• 所有无限循环问题100%属于实现层面漏洞：规范的压缩算法标准有明确的解压终止逻辑，不存在合法输入会导致永久执行的情况，此类问题均可通过修复代码的边界校验逻辑解决。
• 内存占用异常分两类：
  • 因代码逻辑缺陷（如未校验长度就申请内存、边界越界）导致的异常属于实现漏洞，可通过修复代码彻底解决。
  • 符合算法规范的压缩炸弹触发的超大内存/磁盘占用属于算法固有特性：压缩算法的设计目标就是尽可能提升压缩比，天然支持将重复度极高的超大文件压缩到极小体积，这类输入完全符合算法定义，不属于实现漏洞，只能通过业务侧的防护规则规避。

生产环境防护建议 #

如果你需要对外提供公网可访问的解压入口，建议遵循以下规则规避风险：

1. 始终使用官方维护的最新稳定版解压工具，避免已知的实现漏洞
2. 强制添加三层阈值限制：单次解压最大输出体积、最大内存占用、最长执行时间，任意阈值触发后直接终止解压任务
3. 避免使用未经过安全审计的小众第三方解压实现

内容的提问来源于stack exchange，提问作者fadedbee