代码审计里的 HMAC 与长度扩展：六个检查点

密钥短于哈希输出长度时 HMAC 会先补齐，安全性并不会因此提升

正着读代码容易漏，因为入口太多；反着找危险点，数据流只有那么几条。

先说结论

先列危险点，再回溯入口，最后确认校验与权限。

• 检查点一：所有外部入口是否都过统一校验
• 检查点二：危险函数是否集中封装
• 检查点三：校验是否只做一次、是否白名单
• 检查点四：权限判断是否在服务端
• 检查点五：错误信息是否泄露内部细节
• 检查点六：是否有兜底日志

检查点一：入口

HMAC 套了两层哈希，正是为了避开长度扩展这类结构性弱点，这是结构问题不是实现 bug。

把入口列全：HTTP 参数、请求头、上传、消息队列、定时任务的外部输入。漏一个就白审。

检查点二：危险点

比较签名要用常数时间函数，逐字节短路比较会泄漏已经匹配的前缀，耗时可以被测量。

检查点三：校验逻辑

MAC 与密文分开校验容易出错，新系统优先用 AEAD 一次完成，分开校验迟早漏一处。

看到「先替换再校验」「只在一个接口校验」这两种写法，基本可以直接标红。

这个问题的几个审计细节

实际代码里最容易漏的几处：

• 密钥短于哈希输出长度时 HMAC 会先补齐，安全性并不会因此提升

检查点四到六

密钥短于哈希输出长度时 HMAC 会先补齐，安全性并不会因此提升。

越权是审计里性价比最高的方向：少一行判断，就是一个中高危。错误信息要统一，日志要记入口摘要。

再补充几点

这几条不改变结论，但会改变你评估风险时的顺序。

• 把密钥直接拼在消息前面再做哈希，可以长度扩展，不能当 MAC 使用
• 先加密再 MAC 与先 MAC 再加密并不等价，前者是通常推荐的做法
• 用 sha256(secret + data) 当签名，被长度扩展打穿
• 用双等号比较签名，觉得这点时间差可以忽略
• MAC 只覆盖了正文，漏掉时间戳与用户 ID

审计的产出不是「找到几个洞」，是「知道这类洞在哪个模式里反复出现」。