应用安全网络安全渗透测试逆向工程【免费下载链接】Mobile-Security-Framework-MobSFMobile Security Framework (MobSF) is an automated, all-in-one mobile application (Android/iOS/Windows) pen-testing, malware analysis and security assessment framework capable of performing static and dynamic analysis.项目地址https://gitcode.com/gh_mirrors/mo/Mobile-Security-Framework-MobSF点击查看免费下载Mobile Security FrameworkMobSF是一个面向 Android / iOS / Windows 移动应用的自动化渗透测试、恶意软件分析与安全评估框架支持静态与动态双重分析。正因其每一个代码路径都会处理来自已认证但可能怀有恶意的用户所提交的 APK、ZIP、IPA、Manifest 等攻击者可控输入MobSF 将安全默认优先Security must be the default, not an afterthought确立为底层工程准则并以仓库根目录的 AGENTS.md 固化成一套可执行的开发规范。本文以 AGENTS.md 为骨架结合mobsf/MobSF/security.py、mobsf/StaticAnalyzer/forms.py、tox.ini、.github/SECURITY.md 等仓库源码系统拆解 MobSF 的安全架构、输入信任模型、Django 安全特性、归档解压防护与提交前检查清单。读者读完可掌握一套可直接复用的处理不可信输入的防御性编码方法也能理解 MobSF 各类安全告警背后的设计意图。一、前置门槛提交前必须通过tox -e lintAGENTS.md 的第一条硬性要求是任何任务收尾前必须运行 lint 并修复全部错误且不能留下非零退出码。具体命令为tox -e lint从 tox.ini 的[testenv:lint]配置可以看到这一命令并非单一检查器而是组合了autopep8自动格式化、flake8及flake8-bugbear、flake8-import-order、flake8-docstrings、pep8-naming、radon等系列插件外加codespell拼写检查。关键约束包括flake8-import-order要求每组 import 保持字母序分组顺序为 stdlib → 第三方 → Django → 本地 MobSF行宽上限max-line-length 88圈复杂度上限max-complexity 42对mobsf/uploads、mobsf/downloads、mobsf/static、mobsf/templates等目录排除检查。同时 tox 环境列表为py312, py313与 pyproject.toml 中python ^3.12的要求一致——这直接决定了下文 TAR 解压可依赖 Python 3.12 的内置安全过滤机制。二、集中式安全架构mobsf/MobSF/security.pyAGENTS.md 明确规定新增安全检查时优先放入集中式安全助手模块mobsf/MobSF/security.py。部分历史遗留校验器仍存在于mobsf/MobSF/utils.py对于已经确立的助手应优先复用。这种单点收口的架构使全框架的安全逻辑可审计、可复用而不是散落在各个 view 中各自实现。实际源码证实了这一点security.py内的函数可分为四类。2.1 路径安全from mobsf.MobSF.security import ( is_path_traversal, # 检查原始字符串中的 .. 序列、绝对路径、URL 编码技巧 is_safe_path, # 路径构造后通过 realpath() 做包含关系检查 )is_path_traversal(user_input)security.py同时按 POSIX 与 Windows 语义检查对输入做双层 URL 解码防%252e→%2e→.的双重编码绕过并拒绝\x00空字节、/、\开头的绝对路径、盘符drive以及任何包含..的路径is_safe_path(safe_root, check_path, raw_file)security.py对安全根目录与目标路径都做normpath→realpath→normcase归一化后用os.path.commonpath判断目标是否被包含在安全根内。值得注意的历史教训.github/SECURITY.md 中记录的 Windows-only path traversal via root-relative paths bypasses is_path_traversal()影响4.5.3正是仅靠单一平台语义判断导致的漏洞因此现实现同时覆盖posixpath与ntpath。2.2 输入验证is_attack_pattern, # 检测 shell 注入;、$()、||、 cmd_injection_check, # 检测 OS 命令注入字符 is_pipe_or_link, # 读取文件前检测符号链接与命名管道FIFOis_attack_pattern使用正则;|\$\(|\|\||匹配典型 RCE 载荷命中即记录Possible RCE attack detected日志并返回结果供调用方拦截cmd_injection_check来自 Commix 思路的断字符清单覆盖;、、|、||及其 URL 编码变体%3B、%26、%7C等与%0a、%0d%0a换行注入is_pipe_or_link(path)通过os.path.islink(path) or stat.S_ISFIFO(...)在读取文件前拒绝符号链接与命名管道防止通过特殊文件类型读取任意内容。2.3 输出净化sanitize_filename, # 用于 Content-Disposition 头部的安全文件名 sanitize_for_logging,# 记录用户输入前剔除换行与控制字符 sanitize_redirect, # 重定向只允许相对路径 sanitize_svg, # 基于 bleach 剔除 SVG 中的 XSS 载荷 clean_filename, # Windows 安全文件名Unicode 归一化sanitize_filename将非[a-zA-Z0-9._-]字符替换为_并合并连续下划线sanitize_for_logging(filename, max_length255)将\n、\r、\t替换为_再按白名单清洗并截断到 255 字符——这是防日志注入的关键手段配合后端日志系统防止伪造日志行sanitize_redirect仅放行以/开头的站内相对路径//开头的协议相对 URL 与任意外部地址一律回落为根路径/对应历史 Open Redirect 漏洞GHSA-8m9j-2f32-2vx44.0.4sanitize_svg基于bleach.clean白名单机制只保留svg/g/path/rect/circle/text/image/use/filter/linearGradient/radialGradient等安全标签及其有限属性集stripTrue剥离脚本与事件处理器对应历史恶意 SVG 图标存储型 XSSGHSA-mwfg-948f-2cc54.3.2clean_filename仅对 Windows 生效先做 NFKD Unicode 归一化并转 ASCII再按-_.() 字母数字白名单过滤规避 Windows 保留字符与文件系统差异。2.4 网络 / SSRF 防护valid_host, # DNS 解析主机拒绝私网/环回/组播 IPvalid_host是 SSRF 防护的第一道门其底层实现远比名字复杂security.py拒绝清单覆盖127.0.0.0/8、169.254.0.0/16、172.16.0.0/12、192.168.0.0/16、10.0.0.0/8及 RFC 6598 共享地址段100.64.0.0/10对 IPv6 做去映射与隧道解包::ffff:127.0.0.1先还原为 IPv4 再判定sixtofour、teredo、64:ff9b::/96等翻译/隧道地址也会提取内嵌 IPv4 递归检查主机名校验拒绝localhost、无点号单标签名以及.home.arpa、.internal、.lan、.local、.localdomain等内网后缀safe_stream_request/safe_requestsecurity.py更进一步先解析全部 DNS 答案、确认均为公网地址再连接字面 IP 并保留原 Host/SNI通过_PinnedTLSAdapter从根本上切断 DNS Rebinding 窗口且上游代理会 fail-closed代理做 DNS 即拒绝响应大小默认限制 1 MiB。这些实现正是对 SECURITY.md 中一系列 SSRF 历史漏洞DNS Rebinding、Host 头注入、assetlinks_check 端口绕过等的体系化回应。三、以史为鉴.github/SECURITY.md与修复不完整反模式AGENTS.md 要求开发者阅读 .github/SECURITY.md 了解本代码库的安全问题完整历史作为哪些 Bug 类别值得警惕、哪些模式曾被利用过的对照表。该文件按影响版本列出近 30 条已披露漏洞高频出现的类别恰好对应前文四类助手漏洞类别典型记录对应防护函数路径遍历 / Zip Slip / AR-SlipGHSA-c8g7-42qj-frj3、GHSA-8j49-mmcx-4mp5、GHSA-9gh8-9r95-3fc3is_path_traversalis_safe_pathSSRF / DNS RebindingGHSA-fcfq-m8p6-gw56、GHSA-wpff-wm84-x5cxvalid_host/safe_stream_requestCSRFGET 触发状态变更GHSA-hh7q-v28p-p55m、GHSA-3p54-567p-2wprrequire_http_methods CSRF 中间件存储型 XSSSVG、Manifest 字段GHSA-mwfg-948f-2cc5、GHSA-8hf7-h89p-3pqjsanitize_svg 模板自动转义命令注入CVE-2024-21633apktool 任意文件覆写is_attack_pattern/cmd_injection_check压缩炸弹 DoSGHSA-cvhc-xjjc-c4p3、GHSA-c5vg-26p8-q8cr解压前尺寸预算校验开放重定向GHSA-8m9j-2f32-2vx4sanitize_redirectAGENTS.md 特别强调Incomplete Fix Anti-Pattern修复不完整反模式本代码库安全回归最常见的根源是修复了某一条代码路径却漏掉了它的兄弟路径。关闭任何安全修复前必须搜索所有执行相同操作的函数/模式例如每一处解析图标路径、每一处解压归档条目确认修复在全部等价路径上一致生效同时检查APK 二进制流程与源码 ZIP 流程——它们是独立代码路径、独立调用点历史上曾发生过分化。四、输入信任模型默认一切不可信AGENTS.md 给出了一份明确的信任分级表这是所有校验逻辑的设计前提request.GET/request.POST不可信用表单或显式检查校验输出时转义文件上传不可信校验 magic bytes、大小限制与扩展名白名单归档条目zip/tar/ar不可信解压前逐条目检查AndroidManifest.xml中的值不可信在用于文件系统操作或渲染前一律视为攻击者可控Info.plist中的值不可信与 Manifest 值同等对待对应 SECURITY.md 中未校验 CFBundleExecutable 导致 iOS IPA 图标路径穿越的 GHSA-m83p-3cgp-6p8cmd5/hashURL 参数仅在校验后半可信必须先经is_md5()utils.py正则匹配 32 位十六进制再用于路径设备标识符不可信需命令注入检查加格式校验。五、Django 层安全特性表单、装饰器、转义、ORM 与 CSRF5.1 表单校验——首要输入净化层AGENTS.md 规定新请求校验优先使用 Django Form若某视图不用表单则每个request.GET[...]/request.POST[...]都必须在使用前显式校验。项目采用mixin 组合模式而非在视图里写临时校验StaticAnalyzer/forms.py# StaticAnalyzer/forms.py — 可组合的 mixin AttackDetect # file 参数is_path_traversal 扩展名白名单 APIChecks # hash 参数MD5 格式校验API 模式 WebChecks # md5 参数MD5 格式校验HTML 模式 AndroidChecks # Android 扫描类型 ChoiceField 白名单 IOSChecks # iOS 扫描类型 ChoiceField 白名单AttackDetect.clean_file()先调is_path_traversal(file)再以正则^\.(kt|java|smali|xml|plist|m|swift|db|sqlitedb|sqlite|txt|json)$校验扩展名任一失败即raise forms.ValidationErrorAPIChecks/WebChecks用min_length32, max_length32的CharField配合clean_hash()/clean_md5()调用is_md5()组合示例class ViewSourceAndroidApiForm(AttackDetect, AndroidChecks, APIChecks)一条类声明即完成路径穿越 扫描类型 哈希格式三层校验。关键原则两条自定义字段校验器必须写在clean_field()中并在拒绝时抛出forms.ValidationError绝不能返回部分结果再在视图里二次检查失败时用FormUtil.errors_message(form)生成标准错误响应。尤其重要的一条凡取值集合有限的参数一律使用ChoiceField如AndroidChecks的 eclipse/studio/java/smali/xml/apk/jar/aar/so/a 十个取值IOSChecks的 ipa/dylib/ios在表单层就消灭整类注入风险严禁用CharField再在视图里手工比对白名单。5.2 视图装饰器——三层齐备处理敏感操作的视图应同时应用三个装饰器login_required permission_required(Permissions.SCAN) # 或 DELETE、SUPPRESS 等 require_http_methods([POST]) # 或 [GET]——绝不能省略 def my_view(request, apiFalse): ...login_required拦截未认证访问permission_required在认证之上再实施基于角色的访问控制角色权限定义见 mobsf/MobSF/management/commands/create_roles.pyrequire_http_methods在任何业务逻辑执行前拒绝错误 HTTP 动词从机制上杜绝GET 触发 CSRF与 HTTP 方法混淆method confusion问题。5.3 模板自动转义与 DOM 安全Django 模板引擎默认转义变量。AGENTS.md 明令对任何源自扫描数据、Manifest 或用户输入的值禁用{% autoescape off %}与|safe过滤器在模板之外手工拼接 JSON 等用户可控字符串时必须显式调用django.utils.html.escape()。同时强调模板自动转义保护不了 JavaScript DOM 落点绝不把扫描、任务或用户派生字符串赋给innerHTML应使用textContent示例见 templates/general/tasks.html。5.4 ORM——禁止原生 SQL所有数据库访问必须走 Django ORM禁止.raw()或字符串拼接 SQL。用户输入参与过滤时以关键字参数传入让 ORM 自动参数化# 正确——参数化 RecentScansDB.objects.filter(MD5checksum) # 错误——拼接导致 SQL 注入 RecentScansDB.objects.raw(fSELECT * FROM ... WHERE MD5 {checksum})这条规则直接对应 SECURITY.md 中 GHSA-hqjr-43r5-9q58SQLite 数据库查看器 SQL 注入4.4.5。5.5 CSRFDjango 的CsrfViewMiddleware全局开启。任何修改状态的视图禁用csrf_exempt唯一合法例外是已确立模式的 API 端点携带X-Csrftoken头或基于 Token 认证。所有变更操作——包括动态分析的启动/停止/流式输出——必须使用携带 CSRF Token 的 POST不能用 GET当一个页面既要渲染又要流式输出如 logcat时应将 GET 渲染与 POST 流式拆分为两个入口。六、归档解压安全TAR 与 ZIP 的差异化防护6.1 TAR必须用 Python 3.12 的filterdataAGENTS.md 用一个具体攻击链说明为何手写 name-only 检查不可靠符号链接 嵌套条目组合可以绕过os.path.abspath名字检查——名为escape的符号链接成员先通过检查并落盘随后名为escape/pwned.txt的文件成员经由该符号链接被写入任意位置。技术要点os.path.abspath会归一化..但不解析符号链接os.path.realpath两者都解析但提取前执行的 realpath 检查仍存在TOCTOU 时间窗口正确做法是利用 Python 3.12 内置过滤器MobSF 要求python ^3.12# 正确——逐成员、类型感知、符号链接感知 tar.extractall(dest, memberssafe_members_generator, filterdata) # 错误——基于 abspath 的名字检查对符号链接不可见 for member in tar.getmembers(): if not os.path.abspath(join(dest, member.name)).startswith(dest): raise ... tar.extractall(dest, members...)filterdata会在提取前、逐成员地拒绝指向目标外的符号链接、目标外的硬链接、绝对路径、路径穿越以及设备文件。对于必须兼容 Python 3.12 的代码回退方案为先跳过全部符号链接与硬链接成员member.issym()/member.islnk()再用realpath做边界检查并且逐成员校验后立即提取而非批量校验后再 extractall。6.2 ZIP逐成员路径验证 解压预算Pythonzipfile不会把 Unix 符号链接条目落成真实文件系统符号链接而是将链接目标当作普通文件字节写入因此 TAR 符号链接攻击对 ZIP 不适用。ZIP 场景的规范是用is_path_traversalis_safe_path校验成员名并在调用zip_ref.extract(member, dest)之前逐成员验证。仓库实现可作范例mobsf/StaticAnalyzer/views/common/shared_func.py的解压循环约 shared_func.py完整落地了这一模型先对成员文件名做解码与保留文件名冲突is_reserved_file_conflict处理if (is_path_traversal(file_path) or not is_safe_path(ext_path, destination, file_path))命中即记录Zip slip detected并跳过该成员解压前统计file_size与累计总量超出settings.ZIP_MAX_UNCOMPRESSED_FILE_SIZE单文件上限或ZIP_MAX_UNCOMPRESSED_TOTAL_SIZE总量上限即跳过或中止——这是对压缩炸弹 DoSGHSA-c5vg-26p8-q8cr、GHSA-x768-8642-mmq9的工程化防御落盘文件强制external_attr为rw-r--r--644避免解压出可执行权限位。七、任何涉及文件 I/O 或用户输入改动的提交前清单AGENTS.md 以一份可直接打勾的 checklist 收尾覆盖了上文全部主题。它同时可作为其他安全敏感项目的通用验收模板原始输入在构造路径前先经is_path_traversal校验存在安全根时构造出的文件系统路径用is_safe_path复核文件读取前用is_pipe_or_link拒绝符号链接与 FIFOShell 参数以列表形式传递而非格式化字符串用户可控字符串渲染前用django.utils.html.escape转义SVG 内容经过sanitize_svg清洗出站 URL 经valid_host检查重定向包裹sanitize_redirect日志语句对任何用户派生值使用sanitize_for_loggingTAR 解压使用filterdata而非手写abspath检查ZIP 解压在extract()前用realpath逐成员校验路径每个安全守卫都必须有continue/return/raise——仅记日志不算拦截修复对称地应用到所有等价代码路径tox -e lint以退出码 0 通过结语把安全做成默认值从 AGENTS.md 可以看出MobSF 的安全工程并非依赖某个单一防护点而是一条完整防线表单层用ChoiceField与 mixin 消灭注入类别视图层用三层装饰器收敛认证/授权/方法混淆输出层用模板自动转义与sanitize_*系列封堵 XSS/重定向/日志注入归档层用filterdata与逐成员校验对抗 Zip Slip 与解压炸弹网络层用 DNS 全量解析 IP 固定连接对抗 SSRF 与 DNS Rebinding而.github/SECURITY.md的历史漏洞清单则持续为这条防线提供哪些模式曾经被攻破的实证输入。任何为 MobSF 贡献代码、或借鉴其架构构建同类安全分析平台的开发者都可以把这条默认不可信、单点收口、对称修复、守卫必须中断执行的规范直接落地为团队的编码纪律。赞分享应用安全网络安全渗透测试逆向工程【免费下载链接】Mobile-Security-Framework-MobSFMobile Security Framework (MobSF) is an automated, all-in-one mobile application (Android/iOS/Windows) pen-testing, malware analysis and security assessment framework capable of performing static and dynamic analysis.项目地址https://gitcode.com/gh_mirrors/mo/Mobile-Security-Framework-MobSF点击查看免费下载相关推荐PhotoPrism 安全编码实践指南归档解压与 HTTP 下载的安全防护规范pkg/AGENTS.md 解读PhotoPrism 安全编码实践指南归档解压与 HTTP 下载的安全防护规范pkg/AGENTS.md 解读 本篇技术指南以 PhotoPrism 仓库后端前端图像处理人工智能AI 应用YOLOv5 仓库协作与 AI 编码 Agent 实践指南基于 AGENTS.md 的工程规范解读YOLOv5 仓库协作与 AI 编码 Agent 实践指南基于 AGENTS.md 的工程规范解读 导读 本文围绕 YOLOv5 仓库根目录下的 AGENTS人工智能深度学习计算机视觉预训练微调MobSF 安全开发指南面向 AI 编码助手与安全工程师的攻击面防护规范MobSF 安全开发指南面向 AI 编码助手与安全工程师的攻击面防护规范 MobSFMobile Security Framework是一款自动化的移动应应用安全网络安全渗透测试逆向工程上一篇解决esbuild运行时解析错误从报错到修复的完整指南下一篇Unity输入系统完全攻略4大顶级输入管理工具让你的游戏操控更专业创作声明：本文部分内容由AI辅助生成（AIGC），仅供参考