CoderPath

上传、日志与依赖安全 ​

本站纵览 ｜ 练习答案

python
# tickets/forms.py
from django import forms


class AttachmentForm(forms.Form):
    attachment = forms.FileField()

    def clean_attachment(self):
        upload = self.cleaned_data["attachment"]
        if upload.size > 5 * 1024 * 1024:
            raise forms.ValidationError("File exceeds 5 MiB.")
        if upload.content_type not in {"image/png", "application/pdf"}:
            raise forms.ValidationError("Unsupported type.")
        return upload

内容类型来自客户端，只能做早期筛选；生产还需解析/扫描真实内容、生成服务端文件名、隔离存储并在下载时重新授权。代理层先限制请求体，避免应用校验前消耗磁盘和连接。

python
import logging

logger = logging.getLogger(__name__)
logger.info("attachment accepted", extra={"ticket_id": ticket.pk, "request_id": request.request_id})

深水边界 ​

日志不写正文、密码、Cookie、Authorization 或完整个人数据。依赖锁定不等于安全：持续接收 Django 安全发布、扫描直接/传递依赖并安排补丁。不要把用户文件放在可执行静态目录。

验收 ​

超大、伪造类型和未授权下载均被拒绝；文件名不可路径穿越；日志完成脱敏；依赖来源与补丁版本可追溯。

练习（先独立完成） ​

  1. 用 SimpleUploadedFile 测试大小和类型边界。
  2. 设计病毒扫描失败时的隔离状态。
  3. 审计一条异常日志，删除所有不必要的敏感字段。

完成后查看练习答案。

深度加餐：上传文件是来自陌生人的程序包 ​

扩展名、Content-Type 和文件内容都可能撒谎；日志与依赖也要防止把秘密带出边界。

先做一个可观察实验 ​

python
from django import forms
from django.core.exceptions import ValidationError

class AttachmentForm(forms.Form):
    file = forms.FileField()

    def clean_file(self):
        uploaded = self.cleaned_data['file']
        if uploaded.size > 5 * 1024 * 1024:
            raise ValidationError('file too large')
        if uploaded.content_type not in {'image/png', 'image/jpeg'}:
            raise ValidationError('unsupported type')
        return uploaded

预期：表单先限制大小和声明类型；生产还应读取魔数、隔离存储、重命名并通过病毒扫描。

原理下潜与工程边界 ​

文件名、路径、日志字段和依赖版本都属于输入。结构化日志用字段记录事件，不要把 request.body 或 Authorization 写进日志；依赖锁文件、漏洞扫描与升级窗口要成为发布步骤。

ImageField 解析图片不等于安全；SVG 可能包含脚本；日志注入会伪造行；pip install 的传递依赖也会扩大攻击面。

反例排错路线 ​

保存前记录文件大小、哈希、扫描结果和存储 key；依赖告警先确认受影响代码路径，再升级并运行回归测试。

练习加码（仍不提供答案） ​

加码：设计上传状态机 UPLOADED→SCANNING→READY/REJECTED，要求用户只能下载 READY 文件。

验收时请补充：正常路径、权限或失败路径、以及一条能证明事务/资源/配置边界没有被绕过的测试。

继续查阅：Django 官方文档（外部资料已收录于证据账本） · Django 安全清单（外部资料已收录于证据账本）

课程合同：上传、日志与依赖安全 ​

学习目标 ​

学完本篇，读者应能把「恶意扩展名、超大文件和敏感日志均在边界被拦截」拆成输入、可信边界、Django 机制和可复查证据；同时能说明 Django 6.0 与 5.2 LTS 的差异不会改变业务不变量。

心智模型 ​

请求/数据输入 → 边界检查 → Django 核心机制 → 可观察输出 → 恢复动作。配置、数据库提交和外部副作用分别拥有自己的生命周期；没有证据的“应该可以”不算完成。

本地机制图 ​

上传、日志与依赖安全机制图

图中的“输入”是不可信的 HTTP、表单、任务或配置；“边界”负责身份、格式、权限、大小、超时与版本；“机制”才是 URL、View、ORM、事务、缓存、Tasks 或 ASGI；“证据”是测试、响应、日志、查询计划和发布记录。

最小实验 ​

在全新虚拟环境中运行：

bash
python -m django --version
python manage.py check
python manage.py test

实验只验证一个机制：输入一条有效值，再输入一条空值、重复值或无权限值。每次实验都记录 Django 版本、数据库、命令和退出码。

完整场景 ​

把实验接到 tickets 工单流：请求携带用户身份和工单 ID，经过当前专题负责的边界，完成一次读或写，并留下响应状态、数据库变化、日志字段和清理动作。完整场景必须能第二次执行，或明确说明幂等键、事务回滚、缓存失效和任务重试策略。

运行输出 ​

成功路径应出现：

text
Django 6.0.x
System check identified no issues (0 silenced).
OK

失败路径要保留真实信号，例如 400（输入无效）、403（权限/CSRF）、404（资源不存在）、405（方法不允许）或数据库约束异常；不要把失败改写成含糊的 200。

失败边界 ​

至少验证：空输入、重复提交、匿名用户、越权对象、并发写入、下游不可用、超时和版本不兼容。记录“谁拒绝、何时拒绝、状态是否回滚、重试是否安全”。开发模式的 traceback 不得进入生产响应，缓存不得跨用户复用敏感结果。

原理与排错 ​

先确认版本和 settings，再用 manage.py check 定位启动问题；接着确认 URL/任务入口、输入解析和权限；最后检查 SQL、事务提交、响应和副作用。若结果异常，用最小复现打开 SQL/请求 ID/任务 ID 观测，沿「复现 → 缩小 → 观测 → 修复 → 回归」闭环，不靠重装依赖猜测。

练习（正文不泄答案） ​

  1. 为上述完整场景补一条正常路径和两条失败路径测试，并记录完整输出。
  2. 画出本篇机制图，标出身份 owner、数据提交点、缓存/任务副作用和恢复动作。
  3. 故意制造一次重复、越权或超时，说明应返回的状态、日志字段和是否可重试。
  4. 写一条 Django 5.2 LTS 兼容验收标准，再说明 Django 6.0 的新能力是否需要条件分支。

验收标准：命令可重复、输出可复查、正文没有练习答案；完成后再打开本阶段答案册。

答案册 ​

本阶段答案册提供参考实现、关键推理、失败边界和替代方案；先独立完成练习再对照。

下一篇 ​

下一篇是10-deployment-observability/01-deploy-observe-upgrade，继续沿同一条输入—边界—机制—证据链前进。

用心记录每一步成长

Copyright © 2026-present Twiink