代码审计里的模板注入:六个检查点

Web安全 · 3 分钟阅读· 315 次阅读

先编译再渲染、模板只从固定目录加载,能把注入面压到接近零

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

先说结论

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

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

检查点一:入口

用户输入进入 render_template_string 这类接口,模板源码由外部数据决定,才具备注入前提,普通变量替换不具备。

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

检查点二:危险点

Jinja2 的沙箱能拦住属性链,但传进上下文的配置对象仍可能从 globals 泄漏,沙箱不等于隔离。

类型 关键词 关注点
拼接 SQL/命令/模板拼接 是否参数化
解析 XML/JSON/反序列化 是否禁用外部实体
执行 eval/system/exec 是否可达
路径 文件读写、包含 是否规范化后校验

检查点三:校验逻辑

模板表达式可以直接读到环境变量与配置,很多事故里影响面比命令执行更直接,也更难被规则拦住。

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

代码审计里的模板注入

这个问题的几个审计细节

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

  • 先编译再渲染、模板只从固定目录加载,能把注入面压到接近零

检查点四到六

先编译再渲染、模板只从固定目录加载,能把注入面压到接近零。

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

再补充几点

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

  • 模板注入的根因是模板源码由数据决定,而不是模板里最终填进去了什么数据
  • 升级到仍在维护的引擎版本,并关掉模板里的任意属性与方法调用,能挡掉大部分已知手法
  • 用字符串替换拼模板,以为过滤掉两层花括号就安全
  • 开了沙箱却把请求对象与配置整体传进上下文
  • 只在注册入口做过滤,忘了邮件模板与站内信模板

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

评论 (3)

K
Kai

日志留存时间那条被我们领导采纳了。

白
白帽小陈

防御那节写得克制,没有教人打站,这点好评。

阿
阿哲

审计检查点可以直接做成 checklist。

发表评论

验证码

提交后需站长审核,通过后才会显示。