Mariana Trench配置教程：10分钟掌握关键参数优化与规则定制

Mariana Trench配置教程：10分钟掌握关键参数优化与规则定制

【免费下载链接】mariana-trenchA security focused static analysis tool for Android and Java applications.项目地址: https://gitcode.com/gh_mirrors/ma/mariana-trench

Mariana Trench是一款专注于Android和Java应用程序的安全静态分析工具，能够帮助开发者在开发过程中及时发现潜在的安全漏洞。本教程将带你快速掌握其核心配置方法，通过优化参数和定制规则提升代码安全检测效率。

一、核心配置文件解析 📝

Mariana Trench的配置体系集中在configuration/目录下，包含六个关键JSON文件，它们共同决定了分析规则、数据源和代码处理逻辑：

• 规则定义：rules.json - 定义安全漏洞检测规则，如代码执行、SQL注入等风险场景
• 生成器配置：default_generator_config.json - 控制数据流分析的关键组件
• 垫片配置：shims.json - 处理Android框架特殊方法的调用逻辑

1.1 规则配置文件结构

规则文件采用数组结构，每个规则对象包含名称、代码、描述以及关键的sources和sinks定义。以下是典型的代码执行漏洞检测规则：

{ "name": "Third-party flows into code execution sink (RCE)", "code": 1, "description": "Values from third-party controlled source may eventually flow into code execution sink", "sources": ["ActivityUserInput", "AndroidxNavigationUserInput"], "sinks": ["CodeExecution"] }

1.2 生成器配置作用

生成器配置文件列出了24种核心分析组件，包括：

• ActivitySourceGenerator- 检测Activity组件的用户输入
• AndroidIntentLaunchSinkGenerator- 分析Intent启动过程中的风险
• WebViewSinkGenerator- WebView相关安全检测

二、10分钟快速配置指南 ⚡

2.1 基础环境准备

首先克隆项目仓库并进入工作目录：

git clone https://gitcode.com/gh_mirrors/ma/mariana-trench cd mariana-trench

2.2 关键参数优化

通过修改default_generator_config.json启用或禁用特定分析器：

1. 性能优化：注释掉不相关的生成器，如非Web项目可禁用WebViewSinkGenerator
2. 精度提升：确保启用CommonSanitizers以减少误报
3. 深度控制：通过heuristics.json调整分析深度参数

2.3 规则定制实战

添加自定义规则步骤：

1. 打开rules.json
2. 复制现有规则模板并修改以下字段：
   • name：规则名称
   • code：唯一规则编号
   • sources：风险数据源列表
   • sinks：风险接收点列表

示例：添加日志泄露检测规则

{ "name": "Sensitive data in log statements", "code": 100, "description": "Detect sensitive data flowing into log statements", "sources": ["PrivateKeySource", "SensitiveCookieData"], "sinks": ["LogStatement"] }

三、可视化分析结果解读 📊

分析完成后，Mariana Trench会生成详细的漏洞报告。下图展示了一个典型的代码执行漏洞检测结果，清晰标记了风险源、传播路径和漏洞位置：

3.1 追踪漏洞传播路径

通过"Traces"功能可查看完整的数据流传播路径，分为三个关键部分：

源头追踪：显示用户输入如何进入应用

传播路径：展示数据在代码中的传递过程

漏洞终点：标记数据最终到达的风险点

四、高级配置技巧 🔧

4.1 自定义垫片（Shims）

垫片配置shims.json用于处理Android框架中的特殊方法调用。例如，为FragmentTransaction添加生命周期处理：

{ "find": "methods", "where": [ {"constraint": "signature_match", "parent": "Landroidx/fragment/app/FragmentTransaction;", "names": ["add", "show", "replace"]} ], "shim": { "callees": [ {"type_of": "Argument(1)", "lifecycle_name": "xfragment_lifecycle_wrapper"} ] } }

4.2 过滤器配置

在configuration/filters/目录下，可通过JSON文件定义过滤规则：

• exported-component-filter.json - 控制导出组件分析范围
• 3-intent-redirect-filter.json - 优化Intent重定向分析

五、常见问题解决 ❓

Q: 分析结果误报太多怎么办？

A: 可通过以下方式优化：

1. 在shims.json中添加更精确的方法匹配规则
2. 调整heuristics.json中的collapse_depth参数
3. 启用更多sanitizers组件，如IntentUtilsChooserSanitizer

Q: 如何提高分析速度？

A: 可通过减少分析范围实现：

1. 在default_generator_config.json中禁用不相关的生成器
2. 使用default_system_jar_paths.json限制系统库分析范围

六、总结与后续学习

通过本教程，你已掌握Mariana Trench的核心配置方法。建议进一步探索：

• 官方文档：documentation/website/documentation/configuration.md
• 模型定义：configuration/model-generators/
• 测试案例：source/tests/integration/

通过合理配置和规则定制，Mariana Trench将成为你Android应用安全开发的得力助手，帮助你在发布前发现并修复潜在安全漏洞。

【免费下载链接】mariana-trenchA security focused static analysis tool for Android and Java applications.项目地址: https://gitcode.com/gh_mirrors/ma/mariana-trench