从一道CTF题看Flask原型链污染手把手教你用Python魔术方法实现任意文件读取在Web安全领域原型链污染Prototype Pollution是一种相对小众但威力巨大的漏洞类型。本文将以一道典型的CTF题目EzFlask为例深入剖析Python中的原型链污染漏洞并详细讲解如何利用__class__、__globals__等魔术方法实现任意文件读取。1. 理解原型链污染的基本概念原型链污染最早出现在JavaScript中指的是通过修改对象的原型prototype来影响所有基于该原型的对象。而在Python中虽然没有严格意义上的原型继承机制但通过魔术方法Magic Method和对象属性访问机制可以实现类似的效果。关键术语解释魔术方法Python中以双下划线开头和结尾的特殊方法如__init__、__class__等命名空间污染通过修改全局变量或类属性来影响程序行为对象属性访问链Python通过__dict__、__class__等属性形成的对象访问路径提示Python中的魔术方法不需要显式调用它们会在特定操作时自动触发这为安全漏洞的利用提供了可能。2. 分析CTF题目中的漏洞点让我们来看题目中的关键代码片段def merge(src, dst): for k, v in src.items(): if hasattr(dst, __getitem__): if dst.get(k) and type(v) dict: merge(v, dst.get(k)) else: dst[k] v elif hasattr(dst, k) and type(v) dict: merge(v, getattr(dst, k)) else: setattr(dst, k, v)这段merge函数存在严重的安全问题它递归地合并两个对象的属性没有对属性名进行安全检查允许设置任意对象的属性漏洞利用链通过JSON输入控制src参数利用merge函数修改目标对象的敏感属性最终影响程序行为实现任意文件读取3. Python魔术方法的攻击利用要实现任意文件读取我们需要了解几个关键的魔术方法和属性魔术方法/属性作用安全风险__class__获取对象所属类可以访问和修改类属性__globals__获取函数的全局变量可以修改模块级变量__file__获取当前模块文件路径可被篡改导致任意文件读取攻击步骤详解构造恶意JSON输入{ username: aaa, password: bbb, __class__: { check: { __globals__: { __file__: /proc/1/environ } } } }绕过黑名单过滤使用Unicode编码绕过关键词检测\u005F\u005F\u0069\u006E\u0069\u0074\u005F\u005F或者使用其他魔术方法替代被过滤的方法利用Linux环境变量文件/proc/1/environ包含进程环境变量/etc/passwd系统用户信息/etc/profile系统级环境变量4. 防御措施与安全建议要防范这类漏洞开发者可以采取以下措施输入验证严格检查用户输入的属性名禁止双下划线开头的属性名安全编码实践使用setattr()时要限制可设置的属性避免不安全的对象合并操作配置安全关闭Flask的debug模式使用随机生成的secret_key示例安全代码def safe_merge(src, dst, allowed_keys): for k, v in src.items(): if k not in allowed_keys: continue if isinstance(v, dict) and isinstance(dst.get(k), dict): safe_merge(v, dst[k], allowed_keys) else: dst[k] v在实际开发中我们应该始终遵循最小权限原则对用户输入保持高度警惕并定期进行安全审计。通过理解这些底层机制我们不仅能更好地防御攻击也能在CTF比赛中更有效地识别和利用这类漏洞。